:? ) is used to verify a statement. If your statement is correct, then Grafstate will respond with the answer Yes. Otherwise, you will receive a brief description of why the statement is false.Instruction | Description |
Verify that two regular structures (e.g., a DFA and a regular expression) recognize the same language. | |
Verify that a proposed transition is a valid preservation path in a GNFA. | |
Verify that a sequence of strings in a given language is in short lexicographical order. |