DARSTELLBARKEIT VON EREIGNISSEN IN Z-ENDLICHEN AUTOMATEN

✍ Scribed by Hans-Joachim Pohl

• Publisher: John Wiley and Sons
• Year: 1969
• Tongue: English
• Weight: 151 KB
• Volume: 15
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19690150603

✦ Synopsis

DARSTELLBARKEIT VON EREIGNISSEN I N 8-ENDLICHEN AUTOMATEN von HANS-JOACHIM Porn in Berlin Diese Note gibt eine Verallgemeinerung der bekannten Ergebnisse uber die Darstellbarkeit von Ereignissen in endlichen Automaten. Ausgehend von (unendlichen) Alphabeten X wird untersucht, welche Ereignisse sich in 8-endlichen Automaten darstellen lassen. Definition 1 (Standardterm).

( 1 ) Wenn i E nzl), so ist i Standardterm.

(2) Es seien T I , T,, T Standardterme, dann gilt: T , v T,, T , o T , , [TI sind (3) Eine Zeichenreihe T ist genau dann ein Standardterm, wenn T mit Hilfe Definition 2. Es sei X $: 0 eine beliebige (unendliche) Menge.

(1) f ist eine X-Belegung =Df f ist eine eindeutige Abbildung von nz in die Menge (2) Wert eines Terms T bei einer Belegung f : Standardterme. von ( 1 ) und (2) aufgebaut werden kann. P (XI ".