b'\n_START_ARTICLE_\nZ notacija\n_START_PARAGRAPH_\nZ notacija se uporablja za opis in modeliranje ra\xc4\x8dunalni\xc5\xa1kih sistemov. Namenjena je jasnim specifikacijam ra\xc4\x8dunalni\xc5\xa1kih programov ter sistemov osnovanih na ra\xc4\x8dunalnikih._NEWLINE_Notacija ima osnovo v Zermelo-Fraenkelovi teoriji mno\xc5\xbeic (ime ima po Nemcu Ernestu Zermelu (1871 \xe2\x80\x93 1953) in Izraelcu Abrahamu Fraenkelu (1891- 1965)).'