public class Head
extends java.lang.Object
HEAD(x) is defined for both states and transitions.
Informally, HEAD(t) is a set of all non-reference alphabets that can cause a valid transition by 't'. Similarly, HEAD(s) is a set of all non-reference alphabets that can cause a valid transition from 's'.
Modifier and Type | Field and Description |
---|---|
static java.lang.Object |
EVERYTHING_ELSE
A special alphabet that means "all other alphabets".
|
Constructor and Description |
---|
Head() |