Category:Deciders

From BusyBeaverWiki

Jump to navigation Jump to search

Category for Deciders.

Pages in category "Deciders"

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

B

Backward Reasoning

C

D

Decider

F

Finite Automata Reduction

H

Halting Segment

I

Inductive Proof System

M

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

T

Translated cycler

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