hoodiecrow / modules Goto Github PK

Add method to expand a value by ::tcl::prefix match.

Increases stored value (can be capped with -limit).

Wikipedia: (begin with first definition)

Its input alphabet includes two special symbols, serving as left and right endmarkers.
Its transitions may not print other symbols over the endmarkers.
Its transitions may neither move to the left of the left endmarker nor to the right of the right endmarker.[1]:225

In other words: instead of having potentially infinite tape on which to compute, computation is restricted to the portion of the tape containing the input plus the two tape squares holding the endmarkers.

An alternative, less restrictive definition is as follows:

Like a Turing machine, an LBA possesses a tape made up of cells that can contain symbols from a finite alphabet, a head that can read from or write to one cell on the tape at a time and can be moved, and a finite number of states.

An LBA differs from a Turing machine in that while the tape is initially considered to have unbounded length, only a finite contiguous portion of the tape, whose length is a linear function of the length of the initial input, can be accessed by the read/write head; hence the name linear bounded automaton.[1]:225

The OptionHandler instance should remember the variable name given as an argument to the extract method.

State output (Moore) like {s0 / foo}

Edge output (Mealy) like s0 {x / foo} or s0 {x y / foo} or s0 {x y / foo bar}

Behavior

read, write, accept
no movement

-default (start value)
-accept (list of accepting states)

ignore all Base options except -values

Not sure about this: requires access methods for the options.

If the option starts with -- as in --foo, the negated option should be --no-foo instead of -no--foo.

If the argument starts with an asterisk, replace it with the current address and calculate as an expression. Jump to the resulting address.

Method checks if opt1 has a value, and if not assigns value of opt2.

Parenthesize the state symbol to show that a state is an accepting state.