Towards a formal proof system for \(\omega\)-rational expressions (Q1064076)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Towards a formal proof system for \(\omega\)-rational expressions |
scientific article; zbMATH DE number 3919853
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a formal proof system for \(\omega\)-rational expressions |
scientific article; zbMATH DE number 3919853 |
Statements
Towards a formal proof system for \(\omega\)-rational expressions (English)
0 references
1984
0 references
The authors aim to give a formal proof system for infinitary rational languages. Within a previous paper: ''A formal proof system for infinitary rational languages'' [INRIA Report 218 (1983)], the authors provide the whole formal proof system. They adopted a strategy consisting of two steps: the first is to restate the questions concerning the equality and the emptiness of the intersection of two infinitary languages in terms of some related finitary rational languages, and the second is to axiomatize the involved properties of finitary rational languages. The present paper contains only the first step.
0 references
omega-rational languages
0 references
equality testing
0 references
infinitary rational languages
0 references
0.8836582
0 references
0.8790747
0 references
0.8670394
0 references
0.8579506
0 references
0.85641694
0 references
0.85252273
0 references
