CNF

grammar
Class GrammarContextfree

java.lang.Object
  |
  +--grammar.Grammar
        |
        +--grammar.GrammarContextfree
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
GrammarNoEps, GrammarProductive, GrammarReachable

public class GrammarContextfree
extends Grammar

Kontextfreie Grammatik, d.h. alle Produktionen haben die Form m -> w mit m aus M, aka links steht genau ein Metazeichen.

Quelltext


Fields inherited from class grammar.Grammar
A, M, R, S
 
Constructor Summary
GrammarContextfree()
           
 
Method Summary
 boolean canMake()
          Ermittelt, ob der Algorithmus zur Herstellung des gewünschten Typs angewendet werden kann.
 Grammar make(Run run)
          Erzeugt die nachfolgende Grammatik und stellt die Zwischenschritte mit Hilfe der step-Routine des arbeitenden Threads im Userinterface dar.
 boolean ok()
          Ermittelt, ob die Grammatik den gewünschten Typ hat.
 java.lang.String type()
          Eine textuelle Repräsentation des (speziellen) Typs der Grammatik.
 
Methods inherited from class grammar.Grammar
A, addDiff, addDiff, addToR, addToR, addToR, addToR, clone, cloneTo, compact, delFromR, delFromR, delFromR, delFromR, delFromRwith, equals, M, makeNewMetaFrom, R, S, setR, shortenM, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GrammarContextfree

public GrammarContextfree()
Method Detail

canMake

public boolean canMake()
Description copied from class: Grammar
Ermittelt, ob der Algorithmus zur Herstellung des gewünschten Typs angewendet werden kann.
Overrides:
canMake in class Grammar

make

public Grammar make(Run run)
Erzeugt die nachfolgende Grammatik und stellt die Zwischenschritte mit Hilfe der step-Routine des arbeitenden Threads im Userinterface dar.
Overrides:
make in class Grammar

ok

public boolean ok()
Description copied from class: Grammar
Ermittelt, ob die Grammatik den gewünschten Typ hat.
Overrides:
ok in class Grammar

type

public java.lang.String type()
Description copied from class: Grammar
Eine textuelle Repräsentation des (speziellen) Typs der Grammatik.
Overrides:
type in class Grammar

CNF

Kontakt: m.rahn@stud.uka.de und mai99jsv@studserv.uni-leipzig.de