Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Sistem formal
Sistem formal ialah set barang-barang data niskala, yang mendefinisikan hukum-hukum sintaks dengan mana satu set simbol-simbol niskala boleh dimanipulasi.
Ia mengandungi:
- suatu abjad terhad simbol-simbol (“perbendaharaan kata”)
- suatu tatacara utk membentuk perkataan (“nahu”/ “tatabahasa”)
- suatu set aksiom (semuanya perkataan)
- suatu set terhad hukum deduksi (dengan mana suatu set perkataan tambahan boleh dideduksi daripada suatu set yang diberi):
u1 & u2 & … & up → w1 & w2 & … & wn
Previous Page Next Page
