首页>外文会议>其他>International Conference on Developments in Language Theory

International Conference on Developments in Language Theory

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Abstract Families of Graphs

机译：抽象的图形
- 作者：Tanguy Urvoy
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
2.Some Remarks on Asynchronous Automata

机译：异步自动机的一些评论
- 作者：Balazs Imreh
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
3.Automaton Representation of Linear Conjunctive Languages

机译：Imailaton Conniventive语言的Automaton表示
- 作者：Alexander Okhotin
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
4.A Unique Structure of Two-Generated Binary Equality Sets

机译：两种生成二进制平等集的独特结构
- 作者：Stepan Holub
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
5.An Inverse Automata Algorithm for Recognizing 2-Collapsing Words

机译：一种识别2折叠单词的逆自动机算法
- 作者：Dmitry S. Ananichev;Alessandra Cherubini;Mikhail V. Volkov
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
6.Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

机译：杰出发电机的有限单词和花圈产品的扩展时间逻辑
- 作者：Zoltan Esik
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
7.Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z - ∑~*-Automata

机译：用于检查有限z - Σ〜* -automata的多重等效性的高效算法
- 作者：Kostyantyn Archangelsky
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
8.On a Family of Codes with Bounded Deciphering Delay

机译：在具有有界解密延迟的一系列代码
- 作者：Long Van Do;Igor Litovsky
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
9.Innermost Termination of Context-Sensitive Rewriting

机译：中文敏感重写的最内终止
- 作者：Jurgen Giesl;Aart Middeldorp
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
10.Carriers and Counters P Systems with Carriers vs. (Blind) Counter Automata

机译：带有运营商的运营商和计数器P系统与（盲）柜台自动机
- 作者：Hendrik Jan Hoogeboom
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
11.Infinite Snake Tiling Problems

机译：无限的蛇平铺问题
- 作者：Jarkko Kari
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
12.Some Properties of Ciliate Bio-operations

机译：Ciilian生物操作的一些属性
- 作者：Mark Daley;Lila Kari
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
13.Efficient Transformations from Regular Expressions to Finite Automata

机译：从正则表达式到有限自动机的高效转换
- 作者：Sebastian Seibert
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
14.Improved Bounds on the Number of Automata Accepting Finite Languages

机译：改进了接受有限语言的自动机数量的界限
- 作者：Mike Domaratzki
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
15.Finite Automata Models of Quantized Systems: Conceptual Status and Outlook

机译：量化系统的有限自动机模型：概念状态和前景
- 作者：Karl Svozil
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
16.On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities

机译：关于k党和（k-1）-party非季明确信息复杂性的分离
- 作者：Henry N. Adorna
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
17.Constructing Infinite Words of Intermediate Complexity

机译：构建中间复杂性的无限话语
- 作者：Julien Cassaigne
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
18.Finite Completion of Comma-Free Codes. Part I

机译：有限完成逗号无逗号代码。第I部分
- 作者：Huong Lam Nguyen
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
19.Circular Words Avoiding Patterns

机译：避免模式的圆形词
- 作者：James D. Currie;D. Sean Fitzpatrick
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
20.Undecidability of Weak Bisimilarity for PA-Processes

机译：PA-Procession弱相纤维性的不可察觉性
- 作者：Jiri Srba
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
21.On Deterministic Finite Automata and Syntactic Monoid Size

机译：关于确定性有限自动机和句法长尺寸
- 作者：Markus Holzer;Barbara Konig
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
22.On-Line Odometers for Two-Sided Symbolic Dynamical Systems

机译：双面符号动力系统在线测量仪
- 作者：Christiane Frougny
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
- finite automata;
- symbolic dynamical systems;
- numeration systems;
- odometer;
23.On the Structure of Graphic DLI-Sets

机译：关于图形DLI集的结构
- 作者：Laszlo Kaszonyi
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
24.Safety Verification for Two-Way Finite Automata with Monotonic Counters

机译：单调计数器双向有限自动机的安全验证
- 作者：Oscar H. Ibarra;Zhe Dang;Zhi-Wei Sun
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
25.An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton

机译：无限的主要序列可以通过1比特间通信蜂窝自动机实时生成
- 作者：Hiroshi Umeo;Naoki Kamikawa
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
26.Computational Processes in Living Cells: Gene Assembly in Ciliates

机译：活细胞中的计算过程：纤毛组的基因组装
- 作者：Tero Harju;Grzegorz Rozenberg
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
27.A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines

机译：二维概率图定型机的空间下限
- 作者：Yuji Sasaki;Katsushi Inoue;Akira Ito
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
28.On the Descriptional Complexity of Some Variants of Lindenmayer Systems

机译：关于Lindenmayer系统某些变种的描述复杂性
- 作者：Jurgen Dassow;Taishin Nishida;Bernd Reichel
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
29.Automata on Linear Orderings

机译：线性排列的自动机
- 作者：Veronique Bruyere;Olivier Carton
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
30.Roots and Powers of Regular Languages

机译：根和常规语言的力量
- 作者：Sandor Horvath;Peter Leupold;Gerhard Lischke
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
31.Decision Problems for Linear and Circular Splicing Systems

机译：线性和圆形拼接系统的决策问题
- 作者：Paola Bonizzoni;Clelia De Felice;Giancarlo Mauri;Rosalba Zizza
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
32.Experimental Quantum Computation with Molecules

机译：用分子进行实验量子计算
- 作者：Masahiro Kitagawa
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
33.The Average Lengths of the Factors of the Standard Factorization of Lyndon Words

机译：Lyndon词标准分解因素的平均长度
- 作者：Frederique Bassino;Julien Clement;Cyril Nicaud
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
34.Unary Language Operations and Their Nondeterministic State Complexity

机译：一语的语言运营及其非确定状态复杂性
- 作者：Markus Holzer;Martin Kutrib
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
35.Characteristic Semigroups of Directable Automata

机译：可指甲自动机的特征半群
- 作者：Tatjana Petkovic;Miroslav Ciric;Stojan Bogdanovic
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
36.A Remark about Quadratic Trace Equations

机译：关于二次跟踪方程的备注
- 作者：Volker Diekert;Manfred Kufleitner
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年
37.Tiling Systems over Infinite Pictures and Their Acceptance Conditions

机译：平铺系统过度的无限图片及其验收条件
- 作者：Jan-Henrik Altenbernd;Wolfgang Thomas;Stefan Wohrle
- 会议名称：《International Conference on Developments in Language Theory》 | 2003年