References & Citations
Computer Science > Formal Languages and Automata Theory
Title: A New Technique for Reachability of States in Concatenation Automata
(Submitted on 13 Oct 2017 (v1), last revised 17 Oct 2017 (this version, v2))
Abstract: We present a new technique for demonstrating the reachability of states in deterministic finite automata representing the concatenation of two languages. Such demonstrations are a necessary step in establishing the state complexity of the concatenation of two languages, and thus in establishing the state complexity of concatenation as an operation. Typically, ad-hoc induction arguments are used to show particular states are reachable in concatenation automata. We prove some results that seem to capture the essence of many of these induction arguments. Using these results, reachability proofs in concatenation automata can often be done more simply and without using induction directly.
Submission history
From: Sylvie Davies [view email][v1] Fri, 13 Oct 2017 19:52:31 GMT (31kb)
[v2] Tue, 17 Oct 2017 23:32:56 GMT (31kb)
Link back to: arXiv, form interface, contact.