public class StringPda extends StringNfa implements Pda<java.lang.String,java.lang.String>
Modifier and Type | Class and Description |
---|---|
static class |
StringPda.StringPdaFactory<T> |
class |
StringPda.StringPDAState |
StringNfa.StringNfaFactory, StringNfa.StringNfaState
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<java.lang.String,java.lang.String> |
pops |
protected java.util.Map<java.lang.String,java.lang.String> |
pushs |
Constructor and Description |
---|
StringPda(java.lang.String start,
java.lang.String stop) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getPop(java.lang.String state) |
java.lang.String |
getPush(java.lang.String state) |
StringPda.StringPDAState |
start() |
StringPda.StringPDAState |
state(java.lang.String state) |
StringPda.StringPDAState |
stop() |
getFollowers, getStart, getStop
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getFollowers
protected final java.util.Map<java.lang.String,java.lang.String> pops
protected final java.util.Map<java.lang.String,java.lang.String> pushs
public java.lang.String getPop(java.lang.String state)
public java.lang.String getPush(java.lang.String state)
public StringPda.StringPDAState start()
public StringPda.StringPDAState state(java.lang.String state)
public StringPda.StringPDAState stop()