In this paper, we introduce a special class of B uchi automata called unambiguous. In these automata, any inÿnite word labels exactly one path going inÿnitely often through ÿnal states. The word is recognized by the automaton if this path starts in an initial state. The main result of the paper is t
✦ LIBER ✦
On Büchi’s K3 surface
✍ Scribed by Artebani, Michela; Laface, Antonio; Testa, Damiano
- Book ID
- 126277384
- Publisher
- Springer-Verlag
- Year
- 2014
- Tongue
- French
- Weight
- 296 KB
- Volume
- 278
- Category
- Article
- ISSN
- 0025-5874
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Unambiguous Büchi automata
✍
Olivier Carton; Max Michel
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 428 KB
Lutz-Büchi Festschrift
✍
Review by: David L. Cowen
📂
Article
📅
1984
🏛
American Institute of the History of Pharmacy
⚖ 378 KB
On the complementation of Büchi automata
✍
Jean-Pierre Pecuchet
📂
Article
📅
1986
🏛
Elsevier Science
🌐
English
⚖ 189 KB
A survey on Büchi’s problem: new present
✍
H. Pasten; T. Pheidas; X. Vidaux
📂
Article
📅
2010
🏛
Springer US
🌐
English
⚖ 724 KB
Stereocontrol of Paterno-Büchi photocycl
✍
Steven A. Fleming; J.Jerry Gao
📂
Article
📅
1997
🏛
Elsevier Science
🌐
French
⚖ 217 KB
Diphenyloxetane was synthesized from photocycloaddition of benzaldehyde and styrene. The oxetane products, 2,3 trans and 2,3 cis isomers, were observed in a 3:1 ratio. Irradiation of 1-phenylpropene and trimethylsilyl cinnamyl ether under the same conditions also gave oxetanes. The silyl group resul
On modal mu-calculus and Büchi tree auto
✍
Roope Kaivola
📂
Article
📅
1995
🏛
Elsevier Science
🌐
English
⚖ 500 KB