Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

2 results
Image document

Pushdown Automata and Constant Height: Decidability and Bounds

Giovanni Pighizzini , Luca Prigioniero
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers hal-02387302v1
Image document

Limited Automata: Properties, Complexity and Variants

Giovanni Pighizzini
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.57-73, ⟨10.1007/978-3-030-23247-4_4⟩
Conference papers hal-02387288v1