სასრული მანქანა
სასრული მანქანა ან სასრული ავტომატი — კომპიუტერული მეცნიერებების მათემატიკური მოდელი, რომელიც გამოიყენება როგორც კომპიუტერულ პროგრამებში, ასევე ალგორითმებსა და სხვადასხვა ლოგიკური სქემებში. ეს არის აბსტრაქტული მანქანა რომელსაც გააჩნია მდგომარეობები (states). ავტომატი არის მოცემულ დროს შესაბამის მდგომარეობაში. ის შეიძლება გადავიდეს ერთი მდგომარეობიდან მეორეში გარკვეულ დროს და ამას ეწოდება გარდამავლობა. სასრული ავტომატების მოდელების გამოყენებით შესაძლებელია სხვადასხვა, უამრავი პრობლემების გადაჭრა, რომელთა შორისაა კომუნიკაციის პროტოკოლის დიზაინი, ენის დამუშავება (parsing) და სხვა საინჟინრო პროგრამები. ასევე დიდი გამოყენება აქვს ბიოლოგიისა და ხელოვნური ინტელექტში. სასრული ავტომატის აბსტრაქტული მოდელი არის შედარებით სუსტი და არ გააჩნია ისეთივე შესაძლებლობა, როგორიც აქვთ სხვა მოდელებს, მაგალითად, ტურინგის მანქანას. უფრო რომ დავაზუსტოთ, არსებობს ამოცანები, რომელიც არ შეუძლია ამოხსნას სასრულმა ავტომატმა, მაგრამ ეს შეუძლია ტურინგის მანქანას, გამომდინარე იქიდან, რომ სასრულ ავტომატს აქვს შეზღუდული მეხსიერება.