Publications (4)
Duality of Lattices Associated to Left and Right Quotients
Jason Bell, Daniel Smertnig, Hellis Tamm
We associate lattices to the sets of unions and intersections of left and right quotients of a regular language. For both unions and intersections, we show that the lattices we pro…
Minimal Nondeterministic Finite Automata and Atoms of Regular Languages
Janusz Brzozowski, Hellis Tamm
We examine the NFA minimization problem in terms of atomic NFA's, that is, NFA's in which the right language of every state is a union of atoms, where the atoms of a regular langua…
Quotient Complexities of Atoms of Regular Languages
Janusz Brzozowski, Hellis Tamm
An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a ter…
Theory of Atomata
Janusz Brzozowski, Hellis Tamm
We show that every regular language defines a unique nondeterministic finite automaton (NFA), which we call "átomaton", whose states are the "atoms" of the language, that is, non-…