Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

3 results
Image document

Square, Power, Positive Closure, and Complementation on Star-Free Languages

Sylvie Davies , Michal Hospodár
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩
Conference papers hal-02387295v1
Image document

Descriptional Complexity of Formal Systems

Michal Hospodár , Galina Jirásková , Stavros Konstantinidis
Springer International Publishing, LNCS-11612, 2019, Lecture Notes in Computer Science, 978-3-030-23246-7. ⟨10.1007/978-3-030-23247-4⟩
Books hal-02387282v1
Image document

NFA-to-DFA Trade-Off for Regular Operations

Galina Jirásková , Ivana Krajňáková
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.184-196, ⟨10.1007/978-3-030-23247-4_14⟩
Conference papers hal-02387289v1