Initial release

The initial version of the PostTagSystem package.

Features

• Bit-packed evaluation of three tag systems ("Post", "002211" and "000010111") with GenerateTagSystemHistory, GeneratePostTagSystemHistory and PostTagSystemFinalState functions:

In[] := GenerateTagSystemHistory["Post", {0, {1, 1, 1, 1, 1, 1, 1, 1, 1, 1}}, 1000000, {"PowerOfTwoEventCounts"}]
Out[] = <|"EventCount" -> 4120, "MaxTapeLength" -> 69, "FinalState" -> {0, {0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0}}|>

• Generation of Post system state graphs with PostTagSystem function:

In[] := PostTagSystem[{0, {1, 1, 1, 1, 1, 1}}]["StateGraph"]

• Conversion to and from packed states with FromPackedTagSystemState and ToPackedTagSystemState functions:

In[] := FromPackedTagSystemState["Post"][{0, {1, 1, 1, 1, 1, 1}}]
Out[] = {1, _, _, 1, _, _, 1, _, _, 1, _, _, 1, _, _, 1, _, _}

• All functions have usage messages:

In[] := ? PostTagSystemEvolution