Otomat

Yazar: Leandro Alegsa

18-06-2022

Otomat (bir otomat, birkaç otomat) matematikte kullanılan bir kavramdır. Bazen kavram durum makinesi olarak adlandırılır. Soyut bir makine gibidir.

Böyle bir makineye girdi verilebilir ve bu girdi ya reddedilir ya da kabul edilir. Bir otomat gibi. Bir şey satın alındığında, makineye bozuk para (ya da para) atılması gerekir. Eğer bunlar doğru paralarsa, kabul edilirler ve talep edilen öğe bırakılır, böylece çıkarılabilir. Paralar yanlışsa, reddedilirler.

Dahili olarak, otomatın içinde bulunabileceği farklı durumlar vardır. Onu girdi ile beslemek durumunu değiştirebilir (veya değiştirmeyebilir). Bu şekilde, otomat her seferinde bir öğe (matematikçiler buna sembol diyor) tüketerek tüm girdileri gözden geçirir. Hiçbir sembol kalmadığında, otomat belirli bir durumdadır. Bu bir son durum olabilir. Bu durumda girdi kabul edilir. Aksi takdirde, girdi reddedilir.

Makine sayılabilir, sonlu sayıda duruma sahipse, sonlu durum makinesi olarak adlandırılır. Böyle bir makinenin tüm durumlarını ve geçişlerini gösteren diyagrama sonlu durum diyagramı denir.

Bilgisayar bilimlerinde bir otomatın ortak bir gösterimi. Bu otomat, a ile başlayan ve b ile biten tüm a ve b harf dizilerini "kabul eder".

Problemler

Gerçek hayatta olduğu gibi, anlaşılamayacak kadar karmaşık makineler vardır. Bu nedenle matematikçiler ve bilgisayar bilimcileri kendilerine belirli bir otomatın minimal olup olmadığını sorarlar. Eğer minimal değilse, aynı şeyi yapabilen daha az duruma sahip başka bir otomat olmalıdır. Bir otomat örneği turing makinesidir.

Sorular ve Yanıtlar

S: Otomat nedir?

C: Otomat, soyut bir makine gibi olan ve reddedilen veya kabul edilen girdi verilebilen matematikten bir kavramdır.

S: Bir otomat için başka bir terim nedir?

C: Bazen bu kavrama durum makinesi denir.

S: Bir otomatı bir otomata benzetebilir misiniz?

C: Evet, bozuk para veya paranın makineye sokulması gereken bir otomat gibidir ve bozuk paralar doğruysa, istenen öğe çıkarılabilmesi için bırakılır.

S: Bir otomata girdi verildiğinde ne olur?

C: Otomat her seferinde bir öğe tüketerek tüm girdileri gözden geçirir ve dahili olarak içinde bulunabileceği farklı durumlar vardır. Onu girdi ile beslemek durumunu değiştirebilir ya da değiştirmeyebilir.

S: Otomat için hiç sembol kalmadığında ne olur?

C: Hiç sembol kalmadığında, otomat belirli bir durumdadır ve bu durum nihai bir durum olabilir. Eğer durum buysa, girdi kabul edilir; aksi takdirde, girdi reddedilir.

S: Sonlu durum makinesi nedir?

C: Makinenin sayılabilir, sonlu sayıda durumu varsa, buna sonlu durum makinesi denir.

S: Sonlu durum diyagramı nedir?

C: Böyle bir makinenin tüm durumlarını ve geçişlerini gösteren diyagrama sonlu durum diyagramı denir.