Computer Software
Print ISSN : 0289-6540
A New Technique for Proving non Regularity based on the Measure of a Langauge
Ryoma SIN'YA
Author information
JOURNAL FREE ACCESS

2017 Volume 34 Issue 1 Pages 1_119-1_124

Details
Abstract
There are several well-known techniques for proving non-regularity of a given language, e.g., Myhill-Nerode theorem or Pumping lemma. In this paper, we propose a new technique for proving non-regularity that is completely different from all previously known techniques. Our technique is based on a measure of a language, and provides a geometric intuition for the non-regularity. We demonstrate, with a few examples, the usefulness of our technique. Further, we pose some future work and conjectures which generalize our technique.
Content from these authors
© 2017 Japan Society for Software Science and Technology
Previous article
feedback
Top