Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

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 …
9
Was ist der Unterschied zwischen Nichtdeterminismus und Zufälligkeit?
Ich habe kürzlich folgendes gehört: "Eine nicht deterministische Maschine ist nicht dasselbe wie eine probabilistische Maschine. In groben Zügen ist eine nicht deterministische Maschine eine probabilistische Maschine, in der Wahrscheinlichkeiten für Übergänge nicht bekannt sind." Ich habe das Gefühl, dass ich verstanden habe, aber das tue ich wirklich nicht. Könnte …
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 …
4
Gibt es ein nicht Turing-vollständiges Berechnungsmodell, dessen Stopp-Problem nicht zu entscheiden ist?
Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als Berechnungen von gleicher Komplexität angesehen werden
2
Kontextsensitive Grammatiken und Typen
1) In welcher Beziehung stehen statische Typisierung und formale Grammatik? 2) Wäre es insbesondere für einen linear begrenzten Automaten möglich, zu überprüfen, ob beispielsweise ein C ++ - oder SML-Programm gut typisiert war? Ein verschachtelter Stapelautomat? 3) Gibt es eine natürliche Möglichkeit, statische Schreibregeln in formalen Grammatikbegriffen auszudrücken?
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.