import { GrammarSymbol, IToken, SemanticStackType } from 'thaw-interpreter-types';
import { GrammarBase } from 'thaw-interpreter-core';
export declare class LambdaCalculusWithAugmentedSyntaxGrammar extends GrammarBase {
    constructor();
    get languageName(): string;
    executeSemanticAction(semanticStack: SemanticStackType, action: string): void;
    tokenToSymbol(token: IToken): GrammarSymbol;
    pushTokenOntoSemanticStack(semanticStack: SemanticStackType, tokenAsSymbol: GrammarSymbol, token: IToken): void;
}
//# sourceMappingURL=lambda-calculus-augmented-syntax-grammar.d.ts.map