• DocumentCode
    722743
  • Title

    Higher order regular expressions

  • Author

    Sicak, Michal

  • Author_Institution
    Dept. of Comput. & Inf., Tech. Univ. of Kosice, Kosice, Slovakia
  • fYear
    2015
  • fDate
    11-12 June 2015
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    In this paper we explore possibilities of recursive regular expression construction. Such expressions can contain other expressions as a fundamental element, even recursively contain themselves. We call such expressions higher order functions. A recursive automaton can be constructed from it. We present such automata and show, that they may have infinite states and are able to accept context-free grammars. Higher order nondeterminism is explored as a direct result of higher order regular expressions.
  • Keywords
    automata theory; context-free grammars; context-free grammars; higher order nondeterminism; higher order regular expressions; infinite states; recursive automaton; recursive regular expression construction; Automata; Computer languages; Context; Data structures; Genetic programming; Grammar; Optimized production technology; formal grammars; higher order regular expressions; recursive regular expressions; recursive state automata;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Modern Electric Systems (EMES), 2015 13th International Conference on
  • Conference_Location
    Oradea
  • Print_ISBN
    978-1-4799-7649-2
  • Type

    conf

  • DOI
    10.1109/EMES.2015.7158427
  • Filename
    7158427