Towards a formal proof system for \(\omega\)-rational expressions (Q1064076)

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.