The :? eqnc Question instruction checks if a sequence of logical propositions are logically equivalent. |
Added the \table{} fomatting command to create nested tables. |
Added the \align{} fomatting command to create nested align figures so that an align figure may be created within a table. |
Added the \int{} formatting command to typeset integrals and the closing of definite integrals. |
| Fixed some symbol encodings. |
| Fixed some structures that did not allow blank lines in the code. |
Added the &steps=n optional argument to specify the number of steps to simulate in the computation of a Turing machine using the :sim command. |
Extended the abbreviated syntax {a,b}->X,R and {a,b},R for Turing machines to work with multiple tapes. |
| Improved error handling. |
| Added a shorthand syntax for Turing machines to create a list of instructions of the form r⟶r,m, where r belongs to a set of symbols. |
| Fixed some issues with symbol mapping. |
| Added a shorthand syntax for Turing machines to create a list of instructions of the form r⟶w,m, where r belongs to a set of symbols. |
| Added text expression options . |
Added the ({plain block command} \{} . The font formatting commands are now aliases of the plain block command. |
| Any keyboard character can be printed by typing a backtick (\[]) before it. This allows the printing of characters as they appear even if they have special meaning in Grafstate. |
Added the \stack{} formatting command to visualize the contents of a stack. |
Fixed a bug related to the :sim command that caused the display of the stack in the stack trace of a PDA to lose an element after taking a transition having the \e,\e->\e action. |
| Added the \[∶cnf} option for CFGs which checks if a grammar is in Chomsky normal form. |
Added the &vo= optional argument to the :sim command for CFGs to test if a string is derived by a variable other than v0 . |
| Error messages include the exact line number of the error. |
| Blank lines are preserved in the Grafstate code for Figures and Structures. |
| White space at the beginning and end of lines is preserved in the Grafstate code for Figures and Structures. |
| Fixed a bug that sometimes caused code containing an error to be deleted from the editor. |
| Added 6 instructional error messages for the description and simulation of PSGs . |
Fixed a bug that could cause :? gnfa to return an error message for a path containing the expression ε⋃c, where c is some symbol. |
Fixed a bug with :? reglang and :? gnfa that resulted in false negatives when testing some regular expressions with unions. |
Eliminated a message that was occasionally returned by :? gnfa warning of alphabets not matching for valid preservation paths. |
Fixed a bug with the regular expression Simulator ( :sim ) that produced a false negative for nested regular expressions including unions with ε. |
:? reglang is faster for many comparisons. |
The Symbolic calculator instruction := mx can compute row operations on matrices. |
Fixed an issue where the symbol 0 was sometimes being interpretted as the empty string when generating a regular expression with the :? gnfa Question intruction . |
Fixed an issue with GNFAs where a self loop on the symbol 0 was sometimes being ignored with the :? reglang Question intruction . |
Added the math text command \mx{} for displaying a matrix inside text. |
| Fixed a bug that caused the Simulator to simulate the original version of a computational structure after it had been updated. |
Fixed a bug that caused the :? reglang Question instruction to return an error when comparing certain GNFAs with states without loops. |
| If you create an unnamed structure , then Grafstate will create a name for that structure automatically and add that name to your code. |
| Added some new keyboard shortcuts . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| This is the first numbered version of Grafstate. |
|
|
|
|
|
|
|