Pogovor:Izpitno vprašanje DIRI2005 4200

Iz MaFiRaWiki

Zagotovo kot osnovna operacija manjkata še

pripravi prazen

Pri formalni predstavitvi je potrebno še:

formalno opisati, kakšne podatke dobijo operacije in kaj vračajo. Npr.:

vrh: sklad ---> podatek

POleg tega je potrebno navesti (formalno opisati) še pravila, ki jih morajo operacije upošetvati. Npr:

vrh(pripravi) ::= NAPAKA // če operacijo vrh naredimo nad praznim skladom (pripravi je le eden od opisov praznega sklada), smo storili napako vrh(vstavi(p, s)) ::= p // poljuben neprazen sklad lahko opišemo, da je enak skladu, ki ga dobimo, če nekemu skladu S dodamo podatek p

--Matija Lokar 10:19, 29 april 2008 (CEST)


  • Še vedno vam manjka operacija prazen, ki preveri,. če je sklad prazen!
  • Še vedno nimate opisanih vseh formalnih pravil, ki jim morajo operacije zadoščati!

--Matija Lokar 14:28, 22 maj 2008 (CEST)


Res ne vem, zakaj je treba izumljati nove zapise pisanja pravil (ki žal niso povsem prav!) Saj bi bilo vse prav, če bi zraven napisali vsaj kakšno pojasnilo. Tako nekomu, ki ne pozna pravih pravil, verjetno ne bo jasno, kaj mislite z

 sklad.vrh(vstavi(p)) --> p 

Vsaj zraven bi vsaj napisali, da mislite tole:

  vrhnji element sklada, ki je videti, kot bi v neki sklad ravno vstavili element p, je kar ta element p

veliko bolj korektno bi bilo, če bi pri pisanju bili dosledni in bi napisali

  sklad.vstavi(p).vrh() --> p 

če vam že zapis

 vrh(vstavi(p, s)) ::= p

ni ustrezal in ste želeli bolj "objektno" pisati. --Matija Lokar 13:38, 27 maj 2008 (CEST)

--Matija Lokar 13:38, 27 maj 2008 (CEST)

Osebna orodja