Computerwissenschaften reference-request

2

Richtiger Name für einen rekursiven Abstiegsparser, der Schleifen verwendet, um die linke Rekursion zu behandeln?

Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Theoretisch funktioniert ein rekursiver Abstieg also nicht. Durch Ausnutzen der Eigenschaften …

8 reference-request formal-grammars recursion parsers left-recursion

1

Können formale Sprachen zum Studium der mathematischen Notation verwendet werden?

Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt, wann eine bestimmte Art von Notation zu exponentieller Redundanz führt. …

8 formal-languages reference-request formal-grammars programming-languages

1

Probleme, deren Entscheidbarkeitsstatus unbekannt ist, von denen jedoch bekannt ist, dass sie weniger schwierig sind als das Stoppproblem

Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das Stoppproblem.

8 computability reference-request undecidability

3

Beziehung zwischen Algorithmuskomplexität und Automatenklasse

Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es zum Beispiel eine Reihe von Komplexität, die …

8 complexity-theory automata reference-request complexity-classes

2

Reale Anwendungen für Steiner Tree Problem?

Gibt es reale Anwendungen des Steiner Tree Problems (STP)? Ich verstehe, dass das VSLI-Chipdesign eine gute Anwendung des STP ist. Gibt es andere Beispiele für Probleme in der realen Welt, von denen die Leute vermuten können, dass sie im Sinne des STP formuliert werden könnten? Hintergrund: Ich beginne meine Doktorarbeit …

8 graph-theory reference-request optimization combinatorics applied-theory

1

Was wissen wir über NP ∩ co-NP und seine Beziehung zu NPI?

Ein TA ist heute vorbeigekommen, um sich über NP und Co-NP zu erkundigen. Wir kamen an einem Punkt an, an dem ich ebenfalls ratlos war: Wie sieht ein Venn-Diagramm von P, NPI, NP und Co-NP aus, wenn P ≠ NP angenommen wird (der andere Fall ist langweilig)? Es scheint vier …

8 complexity-theory reference-request complexity-classes np

1

Welche praktische Relevanz haben Algorithmen zum gegenseitigen Ausschluss von Lehrbüchern?

Es wurde viel über Algorithmen zum gegenseitigen Ausschluss geforscht - z. B. wird ein Großteil davon in klassischen Lehrbüchern wie The Art of Multiprocessor Programming vorgestellt , in denen ihnen ein ganzes Kapitel gewidmet ist. Ich frage mich, in welchen praktischen Situationen diese Algorithmen möglicherweise während des Engineerings eines gleichzeitigen …

8 reference-request concurrency mutual-exclusion

1

Exponentielles Analogon von NC?

Nicks Klasse (NC) ist die Klasse von Problemen, die in Poly-Log-Zeit unter Verwendung einer Polynomzahl von Prozessoren entschieden werden können. Ich möchte etwas über das exponentielle Analogon wissen, das Probleme abdeckt, die in Polynomzeit unter Verwendung einer exponentiellen Anzahl von Prozessoren entschieden werden können. Was ich suche, ist ein Name …

8 complexity-theory reference-request parallel-computing complexity-classes

4

Informatik für Programmierer

Ich bin ein autodidaktischer Programmierer und programmiere seit 8 Jahren. Aufgrund dieser Erfahrung bin ich bereits sehr vertraut mit den Prinzipien der Programmierung (wie if-Anweisungen, Klassen, Polymorphismus usw.). Ich habe jedoch nie "Informatik" gelernt, sondern nur Programmieren. Was sind einige gute Ressourcen für jemanden in meiner Position, um Informatik selbst …

8 reference-request

1

Zählen und Finden aller perfekten / maximalen Übereinstimmungen in allgemeinen Diagrammen

Vor kurzem habe ich mich mit einem Problem befasst, das mich zu folgenden Fragen geführt hat: Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen in einem allgemeinen Diagramm aufzulisten? Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen in einem allgemeinen Diagramm zu finden? Sind …

8 algorithms complexity-theory graph-theory reference-request matching

2

Courcelles Theorem: Auf der Suche nach Papieren

Ich suche ein einfaches und einführendes Papier zum Beweis von Courcelles Theorem . Ich interessiere mich auch für den Zusammenhang mit der parametrisierten Komplexität in Bezug auf die Baumbreite . Ich bin nur ein Anfänger auf diesem Gebiet. Irgendwelche Vorschläge?

8 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

1

Hohe Mathematik für die Spieltheorie

Ich bin ein beginnender Ph.D. Ich studiere Informatik und versuche, einige klassische spieltheoretische Arbeiten zu verstehen, wie die von Nash, Kalai und Smorodinsky. Aber ich finde es schwierig, die mathematischen Teile zu verstehen. Es scheint, dass diese Artikel von Mathematikern für Mathematiker geschrieben wurden. Können Sie Menschen ohne umfassenden mathematischen …

8 reference-request game-theory mathematical-analysis

1

Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?

Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …

8 formal-languages reference-request automata undecidability decision-problem

1

Papier mit dem Beweis, dass nicht deterministisch kontextfrei ist?

Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ …

8 formal-languages reference-request automata pushdown-automata nondeterminism

6

Praktische Anwendung von Finite-State-Maschinen

Ich suche nach praktischen Anwendungen von Finite-State-Maschinen wie DFA-, NFA-, Moore-, Mealy-Maschinen ... Es wäre hilfreich, wenn jemand auf Beispiele aus dem Linux-Kernel verweist. Ich weiß, dass DFA beim String-Matching wie beim KMP-Algorithmus verwendet wird. Welche Bedeutung haben NFA-, Moore- und Mealy-Maschinen?

8 reference-request automata finite-automata

Als «reference-request» getaggte Fragen