Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

20 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

Most Complex Deterministic Union-Free Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1
Image document

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

 Miguel Ferreira , Nelma Moreira , Rogério Reis
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.88-100, ⟨10.1007/978-3-319-94631-3_8⟩
Conference papers hal-01905623v1
Image document

Finite Automata with Undirected State Graphs

 Martin Kutrib , Andreas Malcher , Christian Schneider
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.212-223, ⟨10.1007/978-3-319-94631-3_18⟩
Conference papers hal-01905634v1
Image document

On the Generation of 2-Polyominoes

 Enrico Formenti , Paolo Massazza
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.101-113, ⟨10.1007/978-3-319-94631-3_9⟩
Conference papers hal-01905637v1
Image document

Error-Free Affine, Unitary, and Probabilistic OBDDs

 Rishat Ibrahimov , Kamil Khadiev , Krišjānis Prūsis , Abuzer Yakaryilmaz
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, ⟨10.1007/978-3-319-94631-3_15⟩
Conference papers hal-01905639v1

Descriptional Complexity of Formal Systems

 Stavros Konstantinidis , Giovanni Pighizzini
Springer International Publishing, LNCS-10952, 2018, Lecture Notes in Computer Science, 978-3-319-94630-6. ⟨10.1007/978-3-319-94631-3⟩
Books hal-01905624v1
Image document

A Local Limit Property for Pattern Statistics in Bicomponent Stochastic Models

 Massimiliano Goldwurm , Jianyi Lin , Marco Vignati
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.114-125, ⟨10.1007/978-3-319-94631-3_10⟩
Conference papers hal-01905636v1
Image document

On the Grammatical Complexity of Finite Languages

 Markus Holzer , Simon Wolfsteiner
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.151-162, ⟨10.1007/978-3-319-94631-3_13⟩
Conference papers hal-01905630v1
Image document

Linear-Time Limited Automata

 Bruno Guillon , Luca Prigioniero
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.126-138, ⟨10.1007/978-3-319-94631-3_11⟩
Conference papers hal-01905632v1
Image document

Finite Automata and Randomness

 Ludwig Staiger
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.1-10, ⟨10.1007/978-3-319-94631-3_1⟩
Conference papers hal-01905642v1
Image document

Cycle Height of Finite Automata

 Chris Keeler , Kai Salomaa
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.200-211, ⟨10.1007/978-3-319-94631-3_17⟩
Conference papers hal-01905622v1
Image document

Properties of Right One-Way Jumping Finite Automata

 Simon Beier , Markus Holzer
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.11-23, ⟨10.1007/978-3-319-94631-3_2⟩
Conference papers hal-01905638v1
Image document

A New Technique for Reachability of States in Concatenation Automata

 Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.75-87, ⟨10.1007/978-3-319-94631-3_7⟩
Conference papers hal-01905633v1
Image document

Further Closure Properties of Input-Driven Pushdown Automata

 Alexander Okhotin , Kai Salomaa
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.224-236, ⟨10.1007/978-3-319-94631-3_19⟩
Conference papers hal-01905626v1
Image document

State Complexity of Unambiguous Operations on Deterministic Finite Automata

 Galina Jirásková , Alexander Okhotin
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.188-199, ⟨10.1007/978-3-319-94631-3_16⟩
Conference papers hal-01905641v1
Image document

State Grammars with Stores

 Oscar H. Ibarra , Ian Mcquillan
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.163-174, ⟨10.1007/978-3-319-94631-3_14⟩
Conference papers hal-01905629v1
Image document

Site-Directed Insertion: Decision Problems, Maximality and Minimality

 Da-Jung Cho , Yo-Sub Han , Kai Salomaa , Taylor J. Smith
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.49-61, ⟨10.1007/978-3-319-94631-3_5⟩
Conference papers hal-01905635v1
Image document

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis

 Tomoyuki Yamakami
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.237-249, ⟨10.1007/978-3-319-94631-3_20⟩
Conference papers hal-01905627v1
Image document

Word Problem Languages for Free Inverse Monoids

 Tara Brough
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.24-36, ⟨10.1007/978-3-319-94631-3_3⟩
Conference papers hal-01905631v1
Image document

Cover Complexity of Finite Languages

 Stefan Hetzl , Simon Wolfsteiner
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.139-150, ⟨10.1007/978-3-319-94631-3_12⟩
Conference papers hal-01905625v1
Page :