Fiifinite
Jump to navigation
Jump to search
Fiifinite is a FSM but the only change is a state can split the pointer into to! now this may seem boring but this is equal to creating a copy program making in an infinite state machine. but really its just a infinite pointer finite state machine(IPFSM)
syntax and semantics
to create a state x that trantitions to state y:
x -> y
now if you want to split the pointer making it go to multiple states (say x splits and goes to y and z):
x *-> y *-> z
the empty state will always halt every state must be defined on seperate lines. if a state is ncased by square brackets every time a pointer goes to it the name will be printed(no newline). first line state is the one the pointer starts at
examples
i -> x 1 *-> 1 *-> 11 [11] -> 11 0 ->
where x must be replaced with the input.