Browsing University of Waterloo by Subject "automaton"
Now showing items 1-2 of 2
-
An Automaton-Theoretic View of Algebraic Specifications
(University of Waterloo, 2005)We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ... -
Quotient Complexity Of Star-Free Languages
(World Scientific Publishing, 2012-09-01)The quotient complexity, also known as state complexity, of a regular language is the number of distinct left quotients of the language. The quotient complexity of an operation is the maximal quotient complexity of the ...