Help
Category
:
Deciders
From BusyBeaverWiki
Revision as of 15:03, 14 June 2024 by
Sligocki
(
talk
|
contribs
)
(Created page with "Category for
Deciders
.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation
Jump to search
Category for
Deciders
.
Pages in category "Deciders"
The following 10 pages are in this category, out of 10 total.
B
Backward Reasoning
C
Closed Position Set (CPS)
Closed Set
Closed Tape Language (CTL)
D
Decider
F
Finite Automata Reduction (FAR)
H
Halting Segment
I
Inductive Proof System
M
Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
T
Translated cycler
Navigation menu
Personal tools
Create account
Log in
Namespaces
Category
Discussion
English
Views
Read
View source
View history
More
Navigation
Main page
Recent changes
Random page
All pages
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information