andars / tt02-universal-turing-machine-w5s8

state transition logic for 5 symbol, 8 state universal turing machine on TT02

Home Page:https://stepresponse.net/tt02-w5s8-01.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

a universal turing machine core, using Watanabe's 5 symbol, 8 state machine.

infinite tape not included.

Shigeru Watanabe. 1961. 5-Symbol 8-State and 5-Symbol 6-State Universal Turing Machines. J. ACM 8, 4 (Oct. 1961), 476–483.

Tiny Tapeout Module

currently the tiny tapeout user module has two modes: either pure combinational to compute the (state, symbol) -> (state, symbol, direction) transition function, or sequential where internal memory elements hold the current state which advances when a tape interface gives the core a new symbol to process.

tiny tapeout files are from https://github.com/TinyTapeout/tt02-verilog-demo.

About

state transition logic for 5 symbol, 8 state universal turing machine on TT02

https://stepresponse.net/tt02-w5s8-01.html

License:Apache License 2.0


Languages

Language:Verilog 50.4%Language:Python 42.2%Language:Tcl 3.8%Language:Makefile 3.1%Language:Coq 0.5%