All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 19:16, 12 May 2023 Roman Czyborra talk contribs created page Definition:Pushdown Automaton (Created page with "== Definition == A '''pushdown automaton''' is a septuple: : $M=(Q,\Sigma,\Gamma,\delta,q_0,Z,F)$ where :$Q$ is a finite set of states, :the input alphabet $\Sigma$ is a finite set, :the stack alphabet $\Gamma$ is a finite set, :the transition relation $\delta$ is a finite subset of $Q\times(\Sigma\cup\{\varepsilon\})\times\Gamma\times Q\times\Gamma^*$ :$q_0\in Q$ is the start state :$Z\in \Gamma$ is the initial stack symbol :$F\subseteq...")
- 18:28, 12 May 2023 Roman Czyborra talk contribs created page Nondeterministic Turing Machine Equivalent to Deterministic Turing Machine (Created page with "=Nondeterministic Turing Machines and Deterministic Turing Machines are Equivalent= ==Every Deterministic Turing Machine can be run by a Nondeterministic Turing Machine== The machine definitions only differ in whether $(q′,Y′,d)\in\delta(q,Y)$ or $(q′,Y′,d)=\delta(q,Y)$. Define singletons $\delta(q,Y)=\{(q',Y',d)\}$ from the deterministic mapping and run your DTM on your NTM. ==Every Non...")
- 03:03, 30 January 2022 Roman Czyborra talk contribs created page Collatz Connects All Successors of Zero (thank me later)
- 00:21, 24 August 2016 Roman Czyborra talk contribs moved page Definition:Lipschitz Life to User:Roman Czyborra/Nonsense (i retract this (delusional device misreading / zero-valued spherical segment (i+j+k>h,h²<i²+j²+k²) after all))
- 16:09, 18 June 2016 Roman Czyborra talk contribs moved page User:Roman Czyborra to User:Roman Czyborra/1st (unsure about mistakes)
- 16:09, 18 June 2016 Roman Czyborra talk contribs moved page User talk:Roman Czyborra to User talk:Roman Czyborra/1st (unsure about mistakes)
- 00:57, 15 March 2013 User account Roman Czyborra talk contribs was created