لوڬيك موديرن دباڬي جاوت تيوري ريكورسي، تيوري موديل، دان تيوري ڤمبوقتين، ڠن تاوقاعت ثات داوڠان ايلوم كومڤوتر تيوريتيس، سيورياوتا تيوري كاتڬوري.