Library/Turing machines/LBA LBA · Context-sensitive scan to first b @thethinkmachine·version 1·CC BY 4.0·added 28 Sept 2026 The textbook Linear Bounded Automaton example. Open in AutomataStudio More ▾ Open in the desktop app Download the .automaton file Source on GitHub scanacc The machine as drawn — 2 states, 3 transitions.