Als «turing-machines» getaggte Fragen

Fragen zu Turing-Maschinen, einem theoretischen Modell der mechanischen Berechnung, mit dem jedes Computerprogramm simuliert werden kann.

5
Welche genaue Beziehung besteht zwischen Programmiersprachen und Turing-Maschinen?
Ich weiß nicht viel über Yacc, Bison, Flex oder Lex und bitte korrigiere mich, wenn ich falsch liege, aber eine Programmiersprache ist auch eine Turing-Maschine und eine Turing-Maschine ist als Tupel definiert (Q,Γ,b,Σ,δ,q0,F)(Q,Γ,b,Σ,δ,q0,F)(Q, \Gamma, b, \Sigma, \delta, q_0, F) wo QQQ, ΓΓ\Gamma, b∈Γb∈Γb \in \Gamma, Σ⊆Γ∖{b}Σ⊆Γ∖{b}\Sigma \subseteq \Gamma \smallsetminus \{ …
3
Bedeutung des Halteproblems
Das Halteproblem ist definiert als: HTM={⟨M,w⟩∣M halts on input w}HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Ich bin mir nicht sicher, was es bedeutet. Ist eine Sammlung von Turingmaschinen, so dass alle das Wort akzeptieren / ablehnen ? Ist das …
2
Schneller wachsende beschäftigte Biberfunktion
Die Standardfunktion für beschäftigte Biber macht auf die endgültige Anzahl von Symbolen ungleich Null auf dem Band aufmerksam. Wir könnten stattdessen die größte Anzahl von Symbolen ungleich Null betrachten, die zu jedem Zeitpunkt der Berechnung auf dem Band erscheinen . Die Untergrenze dieser Funktion wäreΣ ( n )Σ(n)\Sigma(n)und die Obergrenze …
1
Ist #P unter Potenzierung geschlossen? Modulo?
Die Komplexitätsklasse ist definiert als# P.#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Es ist bekannt, dass unter Addition, Multiplikation und Binomialkoeffizient geschlossen wird. Ich habe mich gefragt, ob es unter …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
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.