learner
Class Language

java.lang.Object
  learner.Language

public class Language
extends java.lang.Object

A set of languages with different characteristics that are used to test the Learner.

Constructor Summary

Language()

Method Summary

static FiniteTreeAutomata	basic()
static FiniteTreeAutomata	contexts()
static FiniteTreeAutomata	expressions()
static FiniteTreeAutomata	formulaAndTerms()
static FiniteTreeAutomata	randomMonadic()
static FiniteTreeAutomata	simpleEnglish()
static FiniteTreeAutomata	tallMonadic()
static FiniteTreeAutomata	typedFormula()
static FiniteTreeAutomata	untypedFormula()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Language

public Language()

Method Detail

expressions

public static FiniteTreeAutomata expressions()

untypedFormula

public static FiniteTreeAutomata untypedFormula()

formulaAndTerms

public static FiniteTreeAutomata formulaAndTerms()

typedFormula

public static FiniteTreeAutomata typedFormula()

tallMonadic

public static FiniteTreeAutomata tallMonadic()

simpleEnglish

public static FiniteTreeAutomata simpleEnglish()

basic

public static FiniteTreeAutomata basic()

randomMonadic

public static FiniteTreeAutomata randomMonadic()

contexts

public static FiniteTreeAutomata contexts()