Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie

11
Was ist die Erleuchtung, die ich nach dem Studium endlicher Automaten erreichen soll?
Ich habe Theory of Computation zum Spaß überarbeitet und diese Frage hat mich eine Weile genervt (lustig, ich habe nie daran gedacht, als ich in meinem Grundstudium die Automatentheorie lernte). Warum untersuchen wir also genau deterministische und nicht deterministische endliche Automaten (DFA / NFAs)? Hier sind einige Antworten, die ich …
5
Ist die Chomsky-Hierarchie veraltet?
Die Chomsky (-Schützenberger) -Hierarchie wird in Lehrbüchern der theoretischen Informatik verwendet, deckt jedoch im Vergleich zum vollständigen Komplexitäts-Zoo-Diagramm offensichtlich nur einen sehr kleinen Teil der formalen Sprachen (REG, CFL, CSL, RE) ab . Spielt die Hierarchie in der aktuellen Forschung keine Rolle mehr? Ich habe hier bei cstheory.stackexchange nur wenige …
10
Echte Computer haben nur eine begrenzte Anzahl von Zuständen. Welche Relevanz haben Turing-Maschinen für echte Computer?
Echte Computer haben nur begrenzten Speicher und nur eine begrenzte Anzahl von Zuständen. Sie sind also im Wesentlichen endliche Automaten. Warum verwenden theoretische Informatiker die Turing-Maschinen (und andere gleichwertige Modelle) zum Studium von Computern? Was bringt es, diese viel stärkeren Modelle in Bezug auf echte Computer zu untersuchen? Warum reicht …
4
Ist das Finden des regulären Mindestausdrucks ein NP-vollständiges Problem?
Ich denke an das folgende Problem: Ich möchte einen regulären Ausdruck finden, der einem bestimmten Satz von Zeichenfolgen entspricht (z. B. gültige E-Mail-Adressen) und nicht mit anderen übereinstimmt (ungültige E-Mail-Adressen). Nehmen wir an, wir meinen mit regulären Ausdrücken eine wohldefinierte endliche Zustandsmaschine, ich kenne die genaue Terminologie nicht, aber wir …
14
Wie praktisch ist die Automatentheorie?
Es gibt immer eine Möglichkeit zur Anwendung in Themen der theoretischen Informatik. Lehrbücher und Grundstudiengänge erklären jedoch in der Regel nicht, warum die Automatentheorie ein wichtiges Thema ist und ob sie in der Praxis noch Anwendung findet. Daher haben Studenten im Grundstudium möglicherweise Probleme, die Bedeutung der Automatentheorie zu verstehen, …
6
Reguläre Ausdrücke sind es nicht
Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von der bekannten Perl-Persönlichkeit Abigail (und Teil von Perls Testsuite …
1
Eilenbergs rationale Hierarchie nichtrationaler Automaten und Sprachen - wo ist sie jetzt?
Samuel Eilenberg versprach im Vorwort zu seinen sehr einflussreichen Büchern Automaten, Sprachen und Maschinen (Bände A, B) auf spannende Weise die Bände C und D, die sich mit "einer Hierarchie (genannt rationale Hierarchie) der nichtrationalen Phänomene ... unter Verwendung rationaler Beziehungen als" befassen Rationale Mengen stehen am Ende dieser Hierarchie. …
2
Ist { } nicht kontextfrei?
Ist die Sprache { } kontextfrei oder nicht?einichbjck | i≠j,i≠k,j≠k aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Mir wurde klar, dass ich fast alle Varianten dieser Frage mit unterschiedlichen Bedingungen über die Beziehung zwischen i, j und k kennengelernt habe, aber nicht diese. Ich …
4
Gibt es "kleine" Maschinen, die effizient mit regulären Ausdrücken übereinstimmen können?
Es ist bekannt, dass ein regulärer Ausdruck durch einen nicht deterministischen endlichen Automaten mit einer Größe proportional zum regulären Ausdruck oder durch einen deterministischen FA erkannt werden kann, der potenziell exponentiell größer ist. Darüber hinaus kann die NFA mit einem String und einem regulären Ausdruck r die Mitgliedschaft in einer …
2
Bedingungen für die Universalität der NFA
Man betrachte nichtdeterministische endliche Automaten A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) und eine Funktion f(n)f(n)f(n) . Zusätzlich definieren wir Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Analysieren wir nun die folgende Aussage: Wenn Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) , dann ist L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* . Es ist leicht zu …
1
Gibt es eine reguläre Baumsprache, in der die durchschnittliche Höhe eines Baumes der Größe weder noch ?
Wir definieren eine reguläre Baumsprache wie im Buch TATA : Es ist die Menge von Bäumen, die von einem nicht deterministischen endlichen Baumautomaten akzeptiert wird (Kapitel 1), oder äquivalent die Menge von Bäumen, die von einer regulären Baumgrammatik erzeugt wird (Kapitel 2). Beide Formalismen haben große Ähnlichkeiten mit den bekannten …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.