Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

2 results
Image document

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity

Yo-Sub Han , Sang-Ki Ko , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩
Conference papers hal-02387306v1
Image document

Nondeterminism Growth and State Complexity

Chris Keeler , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.210-222, ⟨10.1007/978-3-030-23247-4_16⟩
Conference papers hal-02387283v1