Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-22T06:33:24.452Z Has data issue: false hasContentIssue false

Conversion of regular expressionsinto realtime automata

Published online by Cambridge University Press:  08 November 2006

Viliam Geffert
Affiliation:
Department of Computer Science, P. J. Šafárik University, Jesenná 5, 04001 Košice, Slovakia; geffert@upjs.sk; lubomira.istonova@upjs.sk
L'ubomíra Ištoňová
Affiliation:
Department of Computer Science, P. J. Šafárik University, Jesenná 5, 04001 Košice, Slovakia; geffert@upjs.sk; lubomira.istonova@upjs.sk
Get access

Abstract

We consider conversions of regular expressions into k-realtimefinite state automata, i.e., automata in which the number ofconsecutive uses of ε-transitions, along any computation path,is bounded by a fixed constant k. For 2-realtime automata,i.e., for automata that cannot change the state, without readingan input symbol, more than two times in a row, we show that theconversion of a regular expression into such an automaton producesonly O(n) states, O(nlogn) ε-transitions, and O(n)alphabet-transitions. We also show how to easily transform these2-realtime machines into 1-realtime automata, still with onlyO(nlogn) edges. These results contrast with the known lowerbound Ω(n(logn)2 / loglogn), holding for 0-realtimeautomata, i.e., for automata with no ε-transitions.

Type
Research Article
Copyright
© EDP Sciences, 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Ehrenfeucht, A. and Zieger, P., Complexity measures for regular expressions. J. Comput. Syst. Sci. 12 (1976) 13446. CrossRef
Geffert, V., Translation of binary regular expressions into nondeterministic ε-free automata with O(nlogn) transitions. J. Comput. Syst. Sci. 67 (2003) 45172. CrossRef
S. Ginsburg, Algebraic and Automata-Theoretic Properties of Formal Languages. North-Holland (1975).
J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (1979).
J. Hromkovič, S. Seibert and T. Wilke, Translating regular expressions into small ε-free nondeterministic automata, in Proc. Symp. Theoret. Aspects Comput. Sci. Lect. Notes Comput. Sci. 1200 (1997) 55–66.
Hromkovič, J., Seibert, S. and Wilke, T., Translating regular expressions into small ε-free nondeterministic finite automata. J. Comput. Syst. Sci. 62 (2001) 56588. CrossRef
Yu. Lifshits, A lower bound on the size of ε-free NFA corresponding to a regular expression. Inform. Process. Lett. 85 (2003) 29399. CrossRef
S. Sippu and E. Soisalon-Soininen, Parsing Theory, Vol. I: Languages and Parsing. EATCS Monographs in Theoret. Comput. Sci. 15 (1988).