Skip to main content Accessibility help
×
Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-11T04:55:57.271Z Has data issue: false hasContentIssue false

3 - Series and languages

from Part I - Rational series

Published online by Cambridge University Press:  05 June 2013

Jean Berstel
Affiliation:
Université Paris-Est
Christophe Reutenauer
Affiliation:
Université du Québec à Montréal
Get access

Summary

This chapter describes the relations between rational series and languages.

We start with Kleene's theorem, presented as a consequence of Schützenberger's theorem. Then we describe the cases where the support of a rational series is a rational language. The most important result states that if a series has finite image, then its support is a rational language (Theorem 2.10).

The family of languages which are supports of rational series have closure properties given in Section 3.4. The iteration theorem for rational series is proved in Section 3.5. The last section is concerned with an extremal property of supports which forces their rationality; to prove it, we use a remarkable characterization of rational languages due to Ehrenfeucht, Parikh and Rozenberg.

Kleene's theorem

Definition A congruence in a monoid is an equivalence relation which is compatible with the operation in the monoid. A language L is recognizable if there exists a congruence with finite index in A* that saturates L (that is L is a union of equivalence classes).

It is equivalent to say that L is recognizable if there exists a finite monoid M, a morphism of monoids ϕ: A*M and a subset P of M such that L = ϕ−1(P).

The product of two languages L1 and L2 is the language L1L2 ={xyx ϵ L1, y ϵ L2}. If L is a language, the submonoid generated by L is ∪n≥0Ln.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2010

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.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×