Generation of regular expressions for automata by the integral of regular expressions

L. W. Smith, Sik-Sang Yau

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

In this paper, the integral of regular expressions is defined and its properties are presented-The concept of the integral is then applied to establishing an algorithm for generating the regular expression of an arbitrary finite automaton specified by its state diagram or flow table. The regular expression for a given automaton obtained by this algorithm is shown to be unique up to the commutative property of the sum. This algorithm is effective and suitable for machine implementation. Programmed results of this algorithm are also given and interpreted.

Original languageEnglish (US)
Pages (from-to)222-228
Number of pages7
JournalComputer Journal
Volume15
Issue number3
DOIs
StatePublished - Aug 1972
Externally publishedYes

Fingerprint

Regular Expressions
Automata
Finite Automata
Finite automata
Table
Diagram
diagram
Arbitrary

ASJC Scopus subject areas

  • Molecular Biology
  • Statistics and Probability
  • Computational Mathematics
  • Development
  • Management, Monitoring, Policy and Law
  • Demography
  • Computer Science(all)

Cite this

Generation of regular expressions for automata by the integral of regular expressions. / Smith, L. W.; Yau, Sik-Sang.

In: Computer Journal, Vol. 15, No. 3, 08.1972, p. 222-228.

Research output: Contribution to journalArticle

@article{5da12ce14e2648ccabcddbc8e02ce481,
title = "Generation of regular expressions for automata by the integral of regular expressions",
abstract = "In this paper, the integral of regular expressions is defined and its properties are presented-The concept of the integral is then applied to establishing an algorithm for generating the regular expression of an arbitrary finite automaton specified by its state diagram or flow table. The regular expression for a given automaton obtained by this algorithm is shown to be unique up to the commutative property of the sum. This algorithm is effective and suitable for machine implementation. Programmed results of this algorithm are also given and interpreted.",
author = "Smith, {L. W.} and Sik-Sang Yau",
year = "1972",
month = "8",
doi = "10.1093/comjnl/15.3.222",
language = "English (US)",
volume = "15",
pages = "222--228",
journal = "Computer Journal",
issn = "0010-4620",
publisher = "Oxford University Press",
number = "3",

}

TY - JOUR

T1 - Generation of regular expressions for automata by the integral of regular expressions

AU - Smith, L. W.

AU - Yau, Sik-Sang

PY - 1972/8

Y1 - 1972/8

N2 - In this paper, the integral of regular expressions is defined and its properties are presented-The concept of the integral is then applied to establishing an algorithm for generating the regular expression of an arbitrary finite automaton specified by its state diagram or flow table. The regular expression for a given automaton obtained by this algorithm is shown to be unique up to the commutative property of the sum. This algorithm is effective and suitable for machine implementation. Programmed results of this algorithm are also given and interpreted.

AB - In this paper, the integral of regular expressions is defined and its properties are presented-The concept of the integral is then applied to establishing an algorithm for generating the regular expression of an arbitrary finite automaton specified by its state diagram or flow table. The regular expression for a given automaton obtained by this algorithm is shown to be unique up to the commutative property of the sum. This algorithm is effective and suitable for machine implementation. Programmed results of this algorithm are also given and interpreted.

UR - http://www.scopus.com/inward/record.url?scp=77957178946&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77957178946&partnerID=8YFLogxK

U2 - 10.1093/comjnl/15.3.222

DO - 10.1093/comjnl/15.3.222

M3 - Article

AN - SCOPUS:77957178946

VL - 15

SP - 222

EP - 228

JO - Computer Journal

JF - Computer Journal

SN - 0010-4620

IS - 3

ER -