Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Maude/extracted
Source used for this grammar: José Eduardo Rivera, Maude 1.0, Maude.ecore, 2010
MaudeSpec, MaudeTopEl, ModExpression, InstModExp, RenModExp, CompModExp, ModuleIdModExp, TheoryIdModExp, Parameter, Theory, FTheory, STheory, Module, FModule, SModule, ModElement, ModImportation, ImportationMode, Type, Sort, Kind, SubsortRel, Operation, Statement, Membership, Equation, Rule, Condition, EquationalCond, RewriteCond, MembershipCond, BooleanCond, MatchingCond, EqualCond, Term, Constant, RecTerm, Variable, View, ViewMapping, RenMapping, TermMapping, SortMapping, OpTypedMapping, OpMapping, LabelMapping, String), 0 root (—), 2 top (MaudeSpec, Condition), 0 bottom (—).[els] 6, [printableEls], [modExp] 3, [views], [renamings], [modExps], [module], [theory], [label], [params] 2, [imports], [mode], [protecting], [including], [extending], [subsortRels], [supersortRels], [kind], [sorts], [subsorts], [supersorts], [name] 2, [coarity], [arity], [atts] 2, [term], [sort], [lhs] 2, [rhs] 6, [op] 2, [args], [from] 6, [to] 6.MaudeSpec ::= [els]::MaudeTopEl [printableEls]::MaudeTopEl
MaudeTopEl ::= Theory
MaudeTopEl ::= Module
MaudeTopEl ::= View
ModExpression ::= InstModExp
ModExpression ::= RenModExp
ModExpression ::= CompModExp
ModExpression ::= ModuleIdModExp
ModExpression ::= TheoryIdModExp
ModExpression ::= Parameter
InstModExp ::=
[modExp]::ModExpression [views]::ViewRenModExp ::=
[modExp]::ModExpression [renamings]::RenMappingCompModExp ::= [modExps]::ModExpression
ModuleIdModExp ::= [module]::Module
TheoryIdModExp ::= [theory]::Theory
Parameter ::= [label]::String [modExp]::ModExpression
Theory ::= FTheory
Theory ::= STheory
FTheory ::=
[els]::ModElementSTheory ::=
[els]::ModElementModule ::= FModule
Module ::= SModule
FModule ::= [els]::ModElement [params]::Parameter
SModule ::= [els]::ModElement [params]::Parameter
ModElement ::= ModImportation
ModElement ::= SubsortRel
ModElement ::= Operation
ModElement ::= Statement
ModElement ::= Sort
ModImportation ::= [imports]::ModExpression [mode]::ImportationMode
ImportationMode ::= [protecting]::ε [including]::ε [extending]::ε
Type ::= Kind
Type ::= Sort
Sort ::= [subsortRels]::SubsortRel [supersortRels]::SubsortRel [kind]::Kind
Kind ::=
[sorts]::SortSubsortRel ::= [subsorts]::Sort [supersorts]::Sort
Operation ::= [name]::String [coarity]::Type [arity]::Type [atts]::String
Statement ::= Membership
Statement ::= Equation
Statement ::= Rule
Membership ::= [term]::Term [sort]::Sort
Equation ::= [lhs]::Term [rhs]::Term
Rule ::= [lhs]::Term [rhs]::Term
Condition ::= EquationalCond
Condition ::= RewriteCond
EquationalCond ::= MembershipCond
EquationalCond ::= BooleanCond
EquationalCond ::= MatchingCond
EquationalCond ::= EqualCond
RewriteCond ::= [rhs]::Term
MembershipCond ::= [rhs]::Sort
BooleanCond ::= ε
MatchingCond ::= [rhs]::Term
EqualCond ::= [rhs]::Term
Term ::= Constant
Term ::= RecTerm
Term ::= Variable
Constant ::= [op]::String
RecTerm ::=
[op]::String [args]::TermVariable ::= [name]::String
View ::=
[from]::ModExpression [to]::ModExpression [els]::ViewMappingViewMapping ::= RenMapping
ViewMapping ::= TermMapping
RenMapping ::= SortMapping
RenMapping ::= OpTypedMapping
RenMapping ::= OpMapping
RenMapping ::= LabelMapping
TermMapping ::= [from]::Term [to]::Term
SortMapping ::= [from]::Sort [to]::String
OpTypedMapping ::=
[from]::Operation [to]::String [atts]::StringOpMapping ::= [from]::Operation [to]::String
LabelMapping ::= [from]::String [to]::String
String ::= string
