首页>外文会议>International Conference on Language and Automata Theory and Applications

International Conference on Language and Automata Theory and Applications

召开年：2019
召开地：St. Petersburg(RU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preset Distinguishing Sequences and Diameter of Transformation Semigroups

机译：预设区分序列和转化半群直径
- 作者：Pavel Panteleev
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Automata;
- Finite-state machine;
- Preset distinguishing sequence;
- Transformation semigroup;
- Diameter;
2.Frequent Pattern Mining with Non-overlapping Inversions

机译：频繁的模式挖掘与非重叠副作
- 作者：Da-Jung Cho;Yo-Sub Han;Hwee Kim
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- String processing algorithms;
- Frequent pattern mining;
- Non-overlapping inversions;
3.Complexity of Regular Functions

机译：常规功能的复杂性
- 作者：Eric Allender;Ian Mertz
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Computational complexity;
- Transducers;
- Weighted automata;
4.A Game Characterisation of Tree-like Q-resolution Size

机译：一种游戏表征树状Q分辨率大小
- 作者：Olaf Beyersdorff;Leroy Chew;Karteek Sreenivasaiah
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
5.Recognizable Series on Hypergraphs

机译：超图识别系列
- 作者：Raphael Bailly;Francois Denis;Guillaume Rabusseau
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
6.On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures

机译：论艾伦关系模态逻辑碎片复杂性
- 作者：Davide Bresolin;Dario Della Monica;Angelo Montanari;Pietro Sala;Guido Sciavicco
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Computational complexity;
- Interval temporal logics;
- Satisfiability;
- Expressiveness;
- Decidability;
7.Logics for Unordered Trees with Data Constraints on Siblings

机译：无序树的逻辑，兄弟姐妹的数据约束
- 作者：Adrien Boiret;Vincent Hugot;Joachim Niehren;Ralf Treinen
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
8.On Robot Games of Degree Two

机译：在二级的机器人游戏
- 作者：Vesa Halava;Reino Niskanen;Igor Potapov
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Automata and concurrency;
- Reachability games;
- Vector addition game;
- Decidability;
- Winning strategy;
9.Structure and Measure of a Decidable Class of Two-dimensional Codes

机译：可判定的二维代码划分类别的结构和测量
- 作者：Marcella Anselmo;Dora Giammarresi;Maria Madonia
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Two-dimensional languages;
- Codes;
- Prefix codes;
10.Sublinear DTD Validity

机译：Sublinear DTD有效性
- 作者：Antoine Ndione;Aurelien Lemay;Joachim Niehren
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Property testing;
- Regular tree automata;
- DTD;
- XML;
11.Learning Conjunctive Grammars and Contextual Binary Feature Grammars

机译：学习联合语法和语境二元特征语法
- 作者：Ryo Yoshinaka
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Grammatical inference;
- Algorithmic learning;
- Distributional learning;
12.Quotient of Acceptance Specifications Under Reachability Constraints

机译：可接受规范在可达性限制下的商
- 作者：Guillaume Verdier;Jean-Baptiste Raclet
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
13.Coding Non-orientable Laminations

机译：编码不可导向的叠片
- 作者：Luis-Miguel Lopez;Philippe Narbel
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
14.Parameterized Enumeration for Modification Problems

机译：修改问题的参数化枚举
- 作者：Nadia Creignou;Raida Ktari;Arne Meier;Julian-Steffen Muller;Frederic Olive;Heribert Vollmer
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Parameterized complexity;
- Enumeration;
- Bounded search tree;
- Parameterized enumeration;
- Enumeration with ordering;
15.A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic

机译：加权图片自动机和加权MSO逻辑的NIVAT定理
- 作者：Parvaneh Babari;Manfred Droste
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
16.Hierarchy and Expansiveness in 2D Subshifts of Finite Type

机译：有限类型的2D外置的层次结构和扩张性
- 作者：Charalampos Zinoviadis
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Subshift of finite type;
- Multidimensional symbolic dynamics;
- Expansiveness;
- Dynamical systems;
- Self-similarity;
17.Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

机译：CFL的子和超级填写的有限自动机：描述和计算复杂性
- 作者：Georg Bachmeier;Michael Luttenberger;Maximilian Schlund
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Descriptional complexity;
- Subword closure;
- Nfa equivalence;
- Language approximation;
18.Bounding Clique-Width via Perfect Graphs

机译：通过完美的图表界限集团宽度
- 作者：Konrad Kazimierz Dabrowski;Shenwei Huang;Daniel Paulusma
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Clique-width;
- Forbidden induced subgraphs;
- Graph class;
19.Single-Pass Testing Automata for LTL Model Checking

机译：用于LTL模型检查的一次通过测试自动机
- 作者：Ala Eddine Ben Salem
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
20.Complexity Classes for Membrane Systems: A Survey

机译：膜系统的复杂性等级：调查
- 作者：Giancarlo Mauri;Alberto Leporati;Luca Manzoni;Antonio E. Porreca;Claudio Zandron
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
21.On Observability of Automata Networks via Computational Algebra

机译：通过计算代数自动机网络的可观察性
- 作者：Rui Li;Yiguang Hong
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
- Automata networks;
- Computational algebra;
- Discrete dynamical systems;
- Observability;
22.Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

机译：自动合成自动基于自动机的规格应用层连接器
- 作者：Marco Autili;Paola Inverardi;Filippo Mignosi;Romina Spalazzese;Massimo Tivoli
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
23.Building Bridges Between Sets of Partial Orders

机译：部分订单组之间的建筑桥梁
- 作者：Hernan Ponce-de-Leon;Andrey Mokhov
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
24.Automated Program Verification

机译：自动化程序验证
- 作者：Azadeh Farzan;Matthias Heizmann;Jochen Hoenicke;Zachary Kincaid;Andreas Podelski
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2015年
25.Automata for Ontologies

机译：自动加载本体
- 作者：Frank Wolter
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
26.On Limited Nondeterminism and ACC Circuit Lower Bounds

机译：关于有限的非季度和ACC电路下限
- 作者：Holger Spakowski
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Circuit lower bounds;
- ACC;
- EXP;
27.On XOR Lemma for Polynomial Threshold Weight and Length

机译：关于多项式阈值和长度的XOR引理
- 作者：Kazuyuki Amano
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Computational complexity;
- Boolean functions;
- PTF;
- Integer programming;
28.Optimal Bounds for Computing α-gapped Repeats

机译：计算α-japped重复的最佳边界
- 作者：Maxime Crochemore;Roman Kolpakov;Gregory Kucherov
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
29.Reachability in Resource-Bounded Reaction Systems

机译：资源有限反应系统的可达性
- 作者：Alberto Dennunzio;Enrico Formenti;Luca Manzoni;Antonio E. Porreca
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Unconventional models of computation;
- Natural computing;
- Reaction systems;
- Discrete dynamical systems;
- Reachability;
30.A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids

机译：在树估值下的加权树自动机的科莱定理
- 作者：Manfred Droste;Zoltan Fulop;Doreen Gotze
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Weighted tree automata;
- Rational expressions;
- Valuation monoids;
- Kleene theorem;
31.Inferring a Relax NG Schema from XML Documents

机译：从XML文档推断放松NG架构
- 作者：Guen-Hae Kim;Sang-Ki Ko;Yo-Sub Han
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- XML schema inference;
- Regular hedge grammar;
- Relax NG;
- Genetic algorithm;
32.On the Levenshtein Automaton and the Size of the Neighbourhood of a Word

机译：在Levenshtein自动机和一个单词附近的大小
- 作者：Helene Touzet
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
33.On Del-Robust Primitive Partial Words with One Hole

机译：关于一个洞的Del-鲁棒的原始部分单词
- 作者：Ananda Chandra Nayak;Amit K. Srivastava
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Combinatorics on words;
- Primitive words;
- Partial words;
- Del-robust;
- Context-free language;
- Reflective;
34.The Word Problem for HNN-extensions of Free Inverse Semigroups

机译：HNN-exerveSemigrous的HNN-extens的词问题
- 作者：Tatiana Baginova Jajcayova
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Semigroups;
- Monoids;
- Automata;
- Decidability;
- Word-problem;
35.Properties of Regular DAG Languages

机译：常规DAG语言的属性
- 作者：Johannes Blum;Frank Drewes
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
36.Input-Driven Queue Automata with Internal Transductions

机译：带内部转换的输入驱动队列自动机
- 作者：Martin Kutrib;Andreas Malcher;Matthias Wendlandt
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Automata and formal languages;
- Input-driven automata;
- Queue automata;
- Closure properties;
- Decidability;
37.Noise Free Multi-armed Bandit Game

机译：无噪音多武装匪徒游戏
- 作者：Atsuyoshi Nakamura;David P. Helmbold;Manfred K. Warmuth
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Algorithmic learning;
- Online learning;
- Bandit problem;
38.A Complexity Measure on Buchi Automata

机译：Buchi自动机的复杂性度量
- 作者：Dana Fisman
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
39.Homomorphic Characterizations of Indexed Languages

机译：索引语言的同态特征
- 作者：Severine Fratani;El Makki Voundy
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Grammars;
- Homomorphic characterizations;
- Transductions;
- Indexed languages;
40.Linear Context-Free Tree Languages and Inverse Homomorphisms

机译：线性无背景树语和逆同态性
- 作者：Johannes Osterholzer;Toni Dietze;Luisa Herrmann
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
41.Parallelogram Morphisms and Circular Codes

机译：平行四边形态态和循环码
- 作者：Alexandre Blondin Masse;Melodie Lapointe;Hugo Tremblay
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Codes;
- Combinatorics on words;
- Graphs;
- Digital geometry;
- Topological graph theory;
- Morphisms;
42.Using Duality in Circuit Complexity

机译：在电路复杂性中使用二元性
- 作者：Silke Czarnetzki;Andreas Krebs
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
43.Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars

机译：在岩石和一个坚硬的地方之间 - 均匀解析超代替换DAG语法
- 作者：Henrik Bjorklund;Frank Drewes;Petter Ericson
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Graph grammar;
- Hyperedge replacement;
- Abstract meaning representation;
- DAG grammar;
- Uniform membership problem;
- Parsing;
44.The Minimum Entropy Submodular Set Cover Problem

机译：最小熵子模具集涵盖问题
- 作者：Gabriel Istrate;Cosmin Bonchis;Liviu P. Dinu
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Submodular set cover;
- Minimum entropy;
- Approximation algorithms;
45.Steganography Based on Pattern Languages

机译：基于模式语言的隐写术
- 作者：Sebastian Berndt;Rudiger Reischuk
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Language-based cryptography;
- Steganography;
- Pattern;
46.Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages

机译：矩阵半群中的标量歧义和Freeness在有限语言中
- 作者：Paul C. Bell;Shang Chen;Lisa Jackson
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Matrix semigroup freeness;
- Scalar ambiguity;
- Bounded languages;
- Undecidability;
47.+ω-Picture Languages Recognizable by Buchi-Tiling Systems

机译：Buchi-Tiling Systems无法识别的+Ω图像语言
- 作者：Parvaneh Babari;Nicole Schweikardt
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Automata and logic;
- Picture languages;
- Tiling systems;
- Existential monadic second-order logic;
48.Colored Nested Words

机译：彩色嵌套词
- 作者：Rajeev Alur;Dana Fisman
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
49.Compositional Bisimulation Minimization for Interval Markov Decision Processes

机译：间隔马尔可夫决策过程的组成双刺激最小化
- 作者：Vahid Hashemi;Holger Hermanns;Lei Song;K. Subramani;Andrea Turrini;Piotr Wojciechowski
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Markov decision process;
- Interval MDP;
- Compositionality;
- Bisimulation;
- Complexity;
50.Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy

机译：Ogden的引理，多种无内容语法，以及控制语言层次结构
- 作者：Makoto Kanazawa
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Grammars;
- Ogden's lemma;
- Multiple context-free grammars;
- Control languages;
51.Normal Form on Linear Tree-to-Word Transducers

机译：线性树与字传感器上的正常形式
- 作者：Adrien Boiret
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Transducers;
- Tree-to-word transducers;
- Normal form;
52.A Weighted MSO Logic with Storage Behaviour and Its Buchi-Elgot-Trakhtenbrot Theorem

机译：具有存储行为的加权MSO逻辑及其Buchi-Elgot-Trakhthtenbrot定理
- 作者：Heiko Vogler;Manfred Droste;Luisa Herrmann
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
53.Minimal Separating Sequences for All Pairs of States

机译：所有状态对的最小分离序列
- 作者：Rick Smetsers;Joshua Moerman;David N. Jansen
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Algorithms on automata and words;
- Partition refinement;
54.Forkable Regular Expressions

机译：不符合常规表达式
- 作者：Martin Sulzmann;Peter Thiemann
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Automata and logic;
- Forkable expressions;
- Derivatives;
55.A Logical Characterization for Dense-Time Visibly Pushdown Automata

机译：密集时间明显下推自动机的逻辑表征
- 作者：Devendra Bhave;Vrunda Dave;Shankara Narayanan Krishna;Ramchandra Phawade;Ashutosh Trivedi
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Visibly pushdown;
- Event-clock;
- Logical characterization;
56.Reversible Shrinking Two-Pushdown Automata

机译：可逆缩小双推动自动机
- 作者：Holger Bock Axelsen;Markus Holzer;Martin Kutrib;Andreas Malcher
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
57.Reasoning with Prototypes in the Description Logic ALC Using Weighted Tree Automata

机译：使用加权树自动机的描述逻辑ALC中的原型推理
- 作者：Franz Baader;Andreas Ecke
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
58.On the Capacity of Capacitated Automata

机译：关于电容自动机的容量
- 作者：Orna Kupferman;Sarai Sheinvald
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
59.The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line

机译：海滩代理商的问题：从一条线的内部行走和搜索
- 作者：Yu Chen;Xiaotie Deng;Ziwei Ji;Chao Liao
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Computational complexity;
- Mobile agents;
- Algorithms;
- Schedule;
- Searching;
- Walking;
- Speed;
- Partitioning;
60.Accurate Approximate Diagnosability of Stochastic Systems

机译：准确的随机系统近似诊断性
- 作者：Nathalie Bertrand;Serge Haddad;Engel Lefaucheux
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Automata for system analysis and programme verification;
61.The Complexity of Induced Tree Reconfiguration Problems

机译：诱导树重新配置问题的复杂性
- 作者：Kunihiro Wasa;Katsuhisa Yamanaka;Hiroki Arimura
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Reconfiguration problem;
- Induced tree;
- PSPACE-complete;
- W1-hard;
- FPT;
62.Periodic Generalized Automata over the Reals

机译：定期广义自动机上的真实
- 作者：Klaus Meer;Ameen Naif
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Unconventional models of computation;
- Computational complexity;
63.The Missing Case in Chomsky-Schutzenberger Theorem

机译：Chomsky-Schutzenberger定理中的遗失案例
- 作者：Stefano Crespi Reghizzi;Pierluigi San Pietro
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
64.Canonical Multi-target Toffoli Circuits

机译：规范多目标Toffoli电路
- 作者：Hans-Jorg Kreowski;Sabine Kuske;Aaron Lye
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Canonical form;
- Multi-target Toffoli circuits;
- Reversible computation;
- Shift equivalence;
65.Proof-Based Synthesis of Sorting Algorithms for Trees

机译：基于校正的树木分拣算法的合成
- 作者：Isabela Dramnesc;Tudor Jebelean;Sorin Stratulat
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Algorithm synthesis;
- Sorting;
- Theorem proving;
66.An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time

机译：纠正PARSER的错误，用于上下文的免费语法，其需要小于立方时间
- 作者：Sanguthevar Rajasekaran;Marius Nicolae
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
67.Hankel Matrices for Weighted Visibly Pushdown Automata

机译：加权明显下推自动机的Hankel矩阵
- 作者：Nadia Labai;Johann A. Makowsky
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
68.Tangles and Connectivity in Graphs

机译：图中的缠结和连接
- 作者：Martin Grohe
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
69.Restricted Turing Machines and Language Recognition

机译：受限制的图灵机和语言识别
- 作者：Giovanni Pighizzini
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
- Models of computation;
- Turing machines;
- Descriptional complexity;
- Chomsky hierarchy;
- Context-free languages;
70.Non-Zero Sum Games for Reactive Synthesis

机译：无零和对反应合成的游戏
- 作者：Romain Brenguier;Lorenzo Clemente;Paul Hunter;Guillermo A. Perez;Mickael Randour;Jean-Francois Raskin;Ocan Sankur;Mathieu Sassolas
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2016年
71.Color War: Cellular Automata with Majority-Rule

机译：彩色战争：具有多数规则的蜂窝自动机
- 作者：Bernd Gartner;Ahad N. Zehmakan
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Cellular automata;
- Majority rule;
- Color war;
72.A Derivational Model of Discontinuous Parsing

机译：一种不连续解析的衍生模型
- 作者：Mark-Jan Nederhof;Anssi Yli-Jyra
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Parsing;
- Grammars;
- Weighted automata;
73.Finding DFAs with Maximal Shortest Synchronizing Word Length

机译：找到具有最大最短同步字长度的DFA
- 作者：Henk Don;Hans Zantema
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
74.Efficient Pattern Matching in Elastic-Degenerate Texts

机译：弹性退化文本中的高效模式匹配
- 作者：Costas S. Iliopoulos;Ritu Kundu;Solon P. Pissis
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- String processing algorithms;
- Degenerate strings;
- Indeterminate strings;
- Elastic-degenerate strings;
- Gapped strings;
75.Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited

机译：重新定位非算法有限自动机大小的下限方法
- 作者：Hellis Tamm;Brink van der Merwe
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
76.Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

机译：左侧理想，后缀关闭的复杂性和无用的常规语言
- 作者：Janusz A. Brzozowski;Corwin Sinnamon
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
77.Hardness Results for Coverability Problem of Well-Structured Pushdown Systems

机译：结构良好的支压系统覆盖性问题的硬度
- 作者：Chunmiao Li;Xiaojuan Cai
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Automata and logic;
- Coverability;
- Lower bounds;
78.On Finite-Index Indexed Grammars and Their Restrictions

机译：关于有限指数索引语法及其限制
- 作者：Flavio DAlessandro;Oscar H. Ibarra;Ian McQuillan
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Indexed languages;
- Finite-index;
- Full trios;
- Semi-linearity;
- Bounded languages;
- ETOL languages;
79.The Strong, Weak, and Very Weak Finite Context and Kernel Properties

机译：强大，弱，非常弱的有限情况和内核属性
- 作者：Makoto Kanazawa;Ryo Yoshinaka
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
80.N-Memory Automata over the Alphabet N

机译：字母表中的N-Memory Automata
- 作者：Benedikt Brutsch;Patrick Landwehr;Wolfgang Thomas
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Automata and logic;
- Infinite alphabet;
81.Linear Parsing Expression Grammars

机译：线性解析表达语法
- 作者：Nariyoshi Chida;Kimio Kuramitsu
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Parsing expression grammars;
- Boolean finite automata;
- Packrat parsing;
82.Cut Languages in Rational Bases

机译：切割理性底座语言
- 作者：Jiri Sima;Petr Savicky
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Grammars;
- Quasi-periodic power series;
- Cut language;
83.Consensus String Problem for Multiple Regular Languages

机译：多种常规语言的共识字符串问题
- 作者：Yo-Sub Han;Sang-Ki Ko;Timothy Ng;Kai Salomaa
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Consensus string problem;
- Computational complexity;
- Regular languages;
- Edit-distance;
84.Integrated Encryption in Dynamic Arithmetic Compression

机译：动态算术压缩中的集成加密
- 作者：Shmuel T. Klein;Dana Shapira
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
85.An Automata View to Goal-Directed Methods

机译：自动数据查看目标定向方法
- 作者：Lisa Hutschenreiter;Rafael Penaloza
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
86.The Weight in Enumeration

机译：枚举中的重量
- 作者：Johannes Schmidt
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Computational complexity;
- Enumeration;
- Non-decreasing weight;
- Polynomial delay;
- Post's lattice;
- MaxOnes;
87.Derivatives and Finite Automata of Expressions in Star Normal Form

机译：明星正常形式表达的衍生物和有限自动机
- 作者：Haiming Chen;Ping Lu
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Regular expressions;
- Finite automata;
- Derivatives;
- Partial derivatives;
- Star normal form;
88.Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly

机译：合并关系：一种统一压缩Petri网行为的方式
- 作者：Giovanni Casu;G. Michele Pinna
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Petri nets;
- Data structure compression;
- Event structures;
89.A Calculus of Cyber-Physical Systems

机译：网络物理系统的微积分
- 作者：Ruggero Lanotte;Massimo Merro
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Process calculus;
- Cyber-physical system;
- Semantics;
90.Minimization of Finite State Automata Through Partition Aggregation

机译：通过分区聚合最小化有限状态自动机
- 作者：Johanna Bjorklund;Loek Cleophas
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
91.On the Computational Power of Affine Automata

机译：论仿射自动机的计算力量
- 作者：Mika Hirvensalo;Etienne Moutot;Abuzer Yakaryilmaz
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Non-classical models of automata;
- Affine automata;
- Cutpoint languages;
- Bounded error;
- Compact sets;
- Error reduction;
92.Most General Property-Preserving Updates

机译：大多数普遍的房产保存更新
- 作者：Davide Bresolin;Ivan Lanese
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
93.Partitioning Graphs into Induced Subgraphs

机译：将图形分区为诱导的子图
- 作者：Dusan Knop
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Generalized matching;
- Parametrized complexity;
94.Two-Dimensional Palindromes and Their Properties

机译：二维回文和它们的性质
- 作者：Manasi S. Kulkarni;Kalpana Mahalingam
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Combinatorics on words;
- Two-Dimensional words;
- Two-Dimensional palindromes;
- Recognizable languages;
- Primitivity;
- Symmetry;
95.Over Which Monoids is the Transducer Determinization Procedure Applicable?

机译：在哪个换能器确定过程中适用的换能器？
- 作者：Stefan Gerdjikov;Stoyan Mihov
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Transducers;
- Rational functions;
- Twinning property;
96.Space Complexity of Reachability Testing in Labelled Graphs

机译：标记图中可达性测试的空间复杂性
- 作者：Vidhya Ramaswamy;Jayalal Sarma;K. S. Sunil
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
97.On the Complexity of Hard Enumeration Problems

机译：论艰苦枚举问题的复杂性
- 作者：Nadia Creignou;Markus Kroll;Reinhard Pichler;Sebastian Skritek;Heribert Vollmer
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
98.Reachability Analysis of Pushdown Systems with an Upper Stack

机译：上层堆叠的下推系统的可达性分析
- 作者：Adrien Pommellet;Marcio Diaz;Tayssir Touili
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Pushdown systems;
- Reachability analysis;
- Stack pointer;
- Finite automata;
99.Efficient Learning of Tier-Based Strictly k-Local Languages

机译：高效学习基于层的严格K-local语言
- 作者：Adam Jardine;Kevin McMullin
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Grammatical inference;
- Algorithmic learning;
100.A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus

机译：用于PI-微积分的稳定的非交织早期操作语义
- 作者：Thomas Troels Hildebrandt;Christian Johansen;Hakon Normann
- 会议名称：《International Conference on Language and Automata Theory and Applications》 | 2017年
- Concurrency;
- Non-interleaving;
- Pi-calculus;
- Early operational semantics;
- Asynchronous transition systems;
- Stability;