An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects
Abstract
A zero-one language L is a regular language whose asymptotic probability converges to either zero or one. In this case, we say that L obeys the zero-one law. We prove that a regular language obeys the zero-one law if and only if its syntactic monoid has a zero element, by means of Eilenberg's variety theoretic approach. Our proof gives an effective automata characterisation of the zero-one law for regular languages, and it leads to a linear time algorithm for testing whether a given regular language is zero-one. In addition, we discuss the logical aspects of the zero-one law for regular languages.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.07209
- arXiv:
- arXiv:1509.07209
- Bibcode:
- 2015arXiv150907209S
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings GandALF 2015, arXiv:1509.06858