On (un)predictability of formal languages (Extended Abstract)

  • Authors:
  • A. Ehrenfeucht;G. Rozenberg

  • Affiliations:
  • -;-

  • Venue:
  • STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
  • Year:
  • 1975

Quantified Score

Hi-index 0.00

Visualization

Abstract

Formal language theory deals with a variety of classes of languages. Some of these are abstracting features of languages used for communication (as e.g., natural languages, programming languages or languages used in logic), some of them are abstracting features of languages used for description of processes (as e.g. basic classes of L languages) and still others are considered for mathematical reasons. Can we have a criterion for deciding whether a language can serve as a “communication language” (e.g. for man-to-man or man-to-machine communication) ? Our main result (The Basic Unpredictability Inequality) displays a connection between the “rate of unpredictability” and the relative number of subpatterns occurring in a language. After establishing this result we investigate (as samples) two classes of languages: regular languages and DOL languages