Complexity of Infimal Observable Superlanguages [article]

Tomáš Masopust
2017 arXiv   pre-print
The infimal prefix-closed, controllable and observable superlanguage plays an essential role in the relationship between controllability, observability and co-observability -- the central notions of supervisory control theory. Existing algorithms for its computation are exponential and it is not known whether a polynomial algorithm exists. In this paper, we study the state complexity of this language. State complexity of a language is the number of states of the minimal DFA for the language.
more » ... a language of state complexity n, we show that the upper-bound state complexity on the infimal prefix-closed and observable superlanguage is 2^n + 1 and that this bound is asymptotically tight. It proves that there is no algorithm computing a DFA of the infimal prefix-closed and observable superlanguage in polynomial time. Our construction further shows that such a DFA can be computed in time O(2^n). The construction involves NFAs and a computation of the supremal prefix-closed sublanguage. We study the computation of the supremal prefix-closed sublanguage and show that there is no polynomial-time algorithm that computes an NFA of the supremal prefix-closed sublanguage of a language given as an NFA even if the language is unary.
arXiv:1703.05016v1 fatcat:j2th53g4zbb6hlyeb5wuzpa4ie