https://wiki.stageing.freitagsrunde.org//api.php?action=feedcontributions&feedformat=atom&user=213.23.145.59
FreitagsrundenWiki - Benutzerbeiträge [de]
2026-11-02T00:29:04Z
Benutzerbeiträge
MediaWiki 1.45.6
wiki.stageing.freitagsrunde.org//index.php?title=Benutzer:Grey/pss&diff=6126
Benutzer:Grey/pss
2005-11-23T09:43:48Z
<p>213.23.145.59: /* Milstone 1 */</p>
<hr />
<div>= Milstone 1 =<br />
* EBNF in BNF Grammatik umwandeln:<br />
<br />
== EBNF ==<br />
Gegeben ist folgende EBNF Syntax von microOPAL:<br />
<br />
Prog -> Def Def * #<br />
Def -> DEF Lhs == Expr<br />
Lhs -> MAIN : Type | id ( [id : Type (, id : Type)*]) : Type<br />
Type -> nat | bool<br />
Expr -> number | true | false | id [ ( [Expr (, Expr)*] ) ] | IF Expr THEN Expr [ELSE Expr] FI<br />
<br />
== Semantische Aktionen ==<br />
Semantische Aktionen in der Original Grammatik:<br />
<br />
Prog -> Def Def * # (1)<br />
Def -> DEF Lhs == Expr (2)<br />
Lhs -> MAIN : Type (3)| id ( [id : Type (, id : Type)*]) : Type (4)<br />
Type -> nat | bool<br />
Expr -> number | true | false | id [ ( [Expr (, Expr)*] ) ](5)| IF Expr THEN Expr [ELSE Expr] FI (6)<br />
<br />
<br />
== BNF ==<br />
Erste Umformung:<br />
<br />
Prog -> Def # <br><br />
Def -> Def Def'<br />
| Def'<br><br />
Def' -> <u>DEF</u> Lhs <u>==</u> Expr<br><br />
Lhs -> <u>MAIN</u> <u>:</u> Type<br />
| <u>id</u> <u>(</u> Lhs' <u>)</u> <u>:</u> Type<br><br />
Lhs' -> <u>id</u> <u>:</u> Type A'<br><br />
A' -> <u>,</u> <u>id</u> <u>:</u> Type A'<br />
| e<br><br />
Type -> <u>nat</u><br />
| <u>bool</u><br><br />
Expr -> Value<br />
| <u>id</u> <u>(</u> Expr' <u>)</u><br />
| <u>IF</u> Expr <u>THEN</u> Expr E <u>FI</u><br><br />
Expr' -> Expr Expr'<br />
| <u>,</u> Expr Expr'<br />
| e<br><br />
E -> <u>ELSE</u> Expr<br />
| e<br><br />
Value -> <u>number</u><br />
| <u>true</u><br />
| <u>false</u><br />
<br />
<br />
<br />
[[Kategorie:GREY-PSS]]</div>
213.23.145.59