1、语言与自动机理论及应用会议相关内容与计数问题复杂度二分性研究

语言与自动机理论及应用会议相关内容与计数问题复杂度二分性研究

会议概述

2013 年 4 月 2 - 5 日在西班牙毕尔巴鄂举行了第 7 届语言与自动机理论及应用国际会议（LATA 2013）。该会议的范围十分广泛，涵盖了众多领域：
- 代数语言理论
- 半结构化数据挖掘算法
- 自动机和单词相关算法
- 自动机与逻辑
- 用于系统分析和程序验证的自动机
- 自动机、并发和 Petri 网
- 自动结构
- 细胞自动机
- 单词组合学
- 可计算性
- 计算复杂性
- 计算语言学
- 数据和图像压缩
- 单词和语言的可判定性问题
- 描述复杂性
- DNA 和其他生物启发计算模型
- 文档工程
- 有限状态技术基础
- XML 基础
- 模糊和粗糙语言
- 语法（乔姆斯基层次结构、上下文相关、多维、统一、范畴等）
- 语法和自动机架构
- 语法推理和算法学习
- 图和图变换
- 语言变体和半群
- 基于语言的密码学
- 人工智能和人工生命的语言理论基础
- 并行和受规重写
- 解析
- 模式识别
- 模式和代码
- 幂级数
- 量子、化学和光学计算
- 语义学
- 计算生物学和生物信息学中的字符串和组合问题
- 字符串处理算法
- 符号动力学
- 符号神经网络
- 项重写
- 转换器
- 树、树语言和树自动机