| German |
| has gloss | deu: Der Büchi-Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω-Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen. |
| lexicalization | deu: Büchi-Automat |
| lexicalization | deu: Büchiautomat |
| French |
| has gloss | fra: Un automate de Büchi est un automate fini avec une condition d'acceptation particulière : une trace est acceptée si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. |
| lexicalization | fra: Automate de Buchi |
| lexicalization | fra: Automate De Büchi |
| Polish |
| has gloss | pol: Automat Büchiego (ang. Büchi automaton) to rozszerzenie automatu skończonego na słowa nieskończone. Automat Büchiego składa się z: * alfabetu * zbioru stanów z wyróżnionym stanem startowym oraz podzbiorem stanów akceptujących * funkcji przejścia, która pobiera aktualny stan oraz literę alfabetu i zwraca nowy stan (deterministyczne automaty Büchiego), lub relacji przejścia, która może zwracać wiele stanów (niedeterministyczne automaty Büchiego) |
| lexicalization | pol: automat Büchiego |
| Thai |
| has gloss | tha: บุขิออโตมาตา (Büchi automaton) เป็นโมเดลทางคณิตศาสตร์ ตั้งชื่อตาม Julius Richard Büchi นักคณิตศาสตร์ชาวสวิส ใช้สำหรับการคำนวณซึ่งมีลักษณะเป็นอนันต์ คือการคำนวณนั้นดำเนินเรื่อยไปไม่มีสิ้นสุด การประยุกต์ใช้ของบุขิ ออโตมาตานั้น มีตัวอย่างในด้าน formal method เช่น ตรรกและการให้เหตุผลในระบบรีแอคทีฟ (reactive system) และ การตรวจสอบโมเดล (model checking) |
| lexicalization | tha: บุขิออโตมาตา |
