Sistem formal itu apa sih? Jelaskan dalam bahasa melayu ya

Sistem formal ialah set barang-barang data niskala, yang mendefinisikan hukum-hukum sintaks dengan mana satu set simbol-simbol niskala boleh dimanipulasi.

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

Ini merupakan jujukan terhad perkataan-perkataan M1 , M2 , … , Mr di mana  Mi adalah samada aksiom, atau Mj → Mi, dengan j < i.