Page 1 of 1

beperkingen EBNF

Posted: Sat Jan 07, 2006 11:25 am
by domi
ik weet dat ge de beperkingen (semantische) van de EBNF terug vind in Report.Txt

maar nu is mn vraag.: waar staan die?

is da zoiets als : er staat nergens in de EBNF dat de begin en eind identifier de zelfde moeten zijn.

Of

is da zoiets als : same types, equal types, type inclusion/extension?

help me out here :s

tis toch een veel voorkomende examenvraag e :roll:

Posted: Sat Jan 07, 2006 11:31 am
by EagleEye812
Ja da is bijvoorbeeld inderdaad dit
A procedure declaration consists of a procedure heading and a procedure body. The heading specifies the procedure identifier and the formal parameters. For type-bound procedures it also specifies the receiver parameter. The body contains declarations and statements. The procedure identifier is repeated at the end of the procedure declaration.

Posted: Sat Jan 07, 2006 1:02 pm
by sammyke007
Das ook de enige dak vind, dat uwen IDENT bij MODULE en END. hetzelfde moet zijn...
Voor de rest vind ik nie echt zo veel ze.

Posted: Sat Jan 07, 2006 1:34 pm
by WiDeCr0w
Is die uitzondering 'char' er ook geen in de EBNF beschrijving (die sta ook bij de discussiesessie)?

Posted: Sat Jan 07, 2006 2:21 pm
by Yo_rik
Nog een paar:
Comments may be inserted between any two symbols in a program. They are arbitrary character sequences opened by the bracket (* and closed by *). Comments may be nested. They do not affect the meaning of a program.

Every identifier occurring in a program must be introduced by a declaration, unless it is a predeclared identifier.

No identifier may denote more than one object within a given scope (i.e. no identifier may be declared twice in a block).

Case labels are constants, and no value must occur more than once. If the value of the expression does not occur as a label of any case, the statement sequence following the symbol ELSE is selected, if there is one, otherwise the program is aborted.
De compatibiliteitsregels zijn ook uitvoeringsbesluiten (zie slide 144 :wink:)!

Nog andere: de manier waarop lussen werken (WHILE = stopt als voorwaarde vals is, REPEAT stopt als voorwaarde waar is ...); kortsluitingsevaluatie bij logische uitdrukkigen ...

Eigenlijk is bijna alles dat in die Report staat een uitvoeringsbesluit (behalve de EBNF zelf) :P.

Posted: Sat Jan 07, 2006 2:36 pm
by Shinta
ja das wel iets handig da document :)

Posted: Sat Jan 07, 2006 2:44 pm
by domi
zouden we de report.txt niet gewoon mogen meepakken naar t exames en dan op ouderwetse manier met de schaar en lijm de stukken die we nodig hebben op de exames plakken :D :D :wink: :twisted:

Posted: Sat Jan 07, 2006 3:00 pm
by Arawn
tjah en dat verklaart net de nutteloosheid van dit vak =D>

Posted: Sat Jan 07, 2006 3:21 pm
by domi
lol :D 8)

Posted: Sat Jan 07, 2006 3:41 pm
by EagleEye812
Hij gaat zoiets vragen van: geef alle semantische beperkingen van de assignment, en dan moet gij alle compatibiliteitsregels opsommen van assignmentcompatibility , of geef alle semantische beperkingen van een procedure-declaratie. dan moet ge alles zeggen wat er niet letterlijk in de ebnf staat over procedures =P~

Posted: Sat Jan 07, 2006 4:03 pm
by Norfolk
EagleEye812 wrote:Hij gaat zoiets vragen van: geef alle semantische beperkingen van de assignment, en dan moet gij alle compatibiliteitsregels opsommen van assignmentcompatibility , of geef alle semantische beperkingen van een procedure-declaratie. dan moet ge alles zeggen wat er niet letterlijk in de ebnf staat over procedures =P~
of van de case instructie :)

Posted: Sat Jan 07, 2006 4:53 pm
by sammyke007
Olle mo*ders als die da vraagt 8)

Posted: Sat Jan 07, 2006 5:10 pm
by EagleEye812
sammyke007 wrote:Olle mo*ders als die da vraagt 8)
En toch!

Posted: Sat Jan 07, 2006 8:14 pm
by Norfolk
De eerste vraag lijkt er wel hard op vind ik :D

Posted: Sun Jan 08, 2006 3:47 pm
by Krikke
Arawn wrote:tjah en dat verklaart net de nutteloosheid van dit vak =D>
bwa, en pointers dan? :wink: :D