Turinys:
Apibrėžimas - ką reiškia modelių atitikimas?
Šablonų atitikimas kompiuterių moksle yra tam tikro modelio duomenų sekų tikrinimas ir vietos nustatymas tarp neapdorotų duomenų ar žetonų sekos. Skirtingai nei modelio atpažinimas, modelio atitikimo atveju atitiktis turi būti tiksli. Šablonų atitikimas yra viena iš esminių ir svarbiausių paradigmų keliose programavimo kalbose. Daugelis programų modelių derinimą naudoja kaip pagrindinę savo užduočių dalį.
„Techopedia“ paaiškina modelio atitikimą
Klasikinė modelio atitikimo schema apima vienmatės eilutės atitikimo naudojimą. Raštai yra arba medžio struktūros, arba jų sekos. Yra skirtingos programavimo kalbų ir mašinų klasės, kurios naudoja modelių derinimą. Mašinų atveju pagrindinę klasifikaciją sudaro deterministinės baigtinės būsenos automatai, deterministinės stumiamosios automatos, nedetermininės stumiamosios automatai ir Turingo mašinos. Įprastos programavimo kalbos modelio atitikimui naudoja įprastas išraiškas. Medžių modeliai taip pat naudojami tam tikrose programavimo kalbose, tokiose kaip „Haskell“, kaip įrankis apdoroti duomenis pagal struktūrą. Palyginti su įprastomis išraiškomis, medžių raštams trūksta paprastumo ir efektyvumo.
Kompiuterijoje yra daugybė modelių atitikimo programų. Aukšto lygio kalbų kompiliatoriai naudoja modelių atitikimą, kad išanalizuotų šaltinio failus, kad nustatytų, ar jie sintaksiškai teisingi. Programavimo kalbose ir programose modelio atitikimas naudojamas nustatant atitikimo modelį arba pakeičiant atitikimo modelį kita žetonų seka.
