Category:Deciders

From BusyBeaverWiki

Jump to navigation Jump to search

Category for Deciders.

Pages in category "Deciders"

The following 13 pages are in this category, out of 13 total.

B

C

D

Decider

F

Finite Automata Reduction

H

Halting Segment

I

Inductive Proof System

M

Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)

R

Repeated Word List

T

Translated cycler

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Category:Deciders&oldid=149"