Orðskýring

Á Ð É Í Ó Ú Ý Þ Æ Ö
á ð é í ó ú ý þ æ ö
 
* er algildistákn og táknar engan (0) eða fleiri stafi eða stafbil.
? er algildistákn og táknar nákvæmlega einn staf eða stafbil.
Ef * er í leitarstreng verða að vera minnst 2 aðrir stafir.
alréttleiki kk.

Réttleikasönnun1 sem sýnir að þær fastyrðingar sem forrit skilar leiði rökrétt af þeim fastyrðingum sem forritið tekur við og af úrvinnslu í forritinu og að forritið ljúki vinnslu fyrir öll tiltekin ílagsskilyrði.