Finite automata yog siv los ntawm feem ntau computer lus compilers los pab parsing thiab npaj code rau kev siv tiag tiagTsis tas li ntawd, lawv tau siv dav hauv cov txheej txheem ua lus, suav nrog hauv kev ua cov lus ntuj., los pab cov kev pab cuam kom nkag siab yuav ua li cas teb rau cov khoom siv tshwj xeeb thiab sib txawv.
Vim li cas peb thiaj xav tau kev txiav txim siab automata?
Daim ntawv thov NFA
Nws yog qhov tseem ceeb vim tias NFAs tuaj yeem siv los txo qhov nyuaj ntawm kev ua lej yuav tsum tsim kom muaj ntau yam tseem ceeb hauv txoj kev xavPiv txwv li, nws yooj yim dua los ua pov thawj kaw cov khoom ntawm cov lus niaj hnub siv NFAs dua li DFAs.
DFA qhov zoo yog dab tsi?
Qhov zoo ntawm DFA yog uas peb tuaj yeem ua tiav lawv yooj yim. s xeev; ib qho NFA lees paub tib hom lus xav tau qtp xeev. Qhov zoo ntawm DFA yog qhov peb tuaj yeem ua tiav lawv yooj yim.
DFA lees txais hom lus twg?
Ib hom lus L tau txais los ntawm DFA, yog thiab tsuas yog L={w | (q0,w)A }. Ntawd yog, cov lus lees txais los ntawm DFA yog sets ntawm cov hlua lees txais los ntawm DFA.
Puas yog DFA nrawm dua NFA?
Yog xav tau DFA, algorithms muaj nyob rau (a) hloov NFA mus rau qhov sib npaug DFA thiab (b) txo qis DFA. Ua kom tag nrho cov generalizations, DFAs sai dua tab sis nyuaj dua(nyob rau hauv cov nqe lus ntawm cov xeev thiab kev hloov pauv) whereas NFAs qeeb dua tab sis yooj yim dua (hauv tib nqe lus).
