1 research outputs found
On algebraic and logical specifications of classes of regular languages
AbstractThe paper studies classes of regular languages based on algebraic constraints imposed on transitions of automata and discusses issues related to specifications of these classes from algebraic, computational and logical points of view