Signed real measure of regular languages
Xi Wang, Asok Kumar Ray · 2002
This paper formulates a signed real measure of sub-languages of a regular language based on the principles of automata theory and real analysis. The measure allows total ordering of any set of partially ordered sub-languages of the regular language for quantitative evaluation of the controlled behavior of deterministic finite state automata under different supervisors. The computational complexity of the language measure algorithm is of polynomial order in the number of states.