research

On algebraic and logical specifications of classes of regular languages

Abstract

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

    Similar works