Robert Forbes McNaughton, ifj. , Született 1924-ben és meghalt 2014. június 5a New York-i Troy- ban 90 éves korában amerikai matematikus , logikus és elméleti informatikus . Ő egy úttörő az elmélet automata , és a szerző alapvető hozzájárulást számos területén az elméleti számítógép-tudomány, mint a formális nyelvek , nyelvtanok és újraírása rendszerek , a kombinatorika a szavak .
Szerzett Ph. D. származó Harvard Egyetem felügyelete alatt Willard Van Orman Quine 1951-ben egy értekezés című létrehozásáról szóló konzisztenciája Systems . Miután tanított a Pennsylvaniai Egyetem Moore Villamosmérnöki Iskolájában , csatlakozott a Rensselaer Műszaki Főiskolához , ahol nyugdíjazásáig maradt.
Első hozzászólásai halmazelméleti jellegűek, gyakran Wang Haóval együttműködve . Hozzájárul a matematika filozófiájának különféle aspektusaihoz is. Miután hat évig filozófiát tanított, az informatika felé fordult.
Első alapvető műve az 1960-as cikk, akkori hallgatójával, Hisao Yamadával , még a Pennsylvaniai Egyetemen. Ez tartalmazza a tankönyvekben reprodukált McNaughton és Yamada algoritmust , valamint egy ritkábban idézett kifejezésből az automaták inverz felépítését is.
Érdekes a racionális nyelvek különböző szempontok szerinti osztályozása: kombinatorika, algebra, logika. A könyv társszerzője Seymour Papert Counter-mentes automata és 1971-ben közzétett kezeli egységes módon az osztály csillagtalan nyelvek , kapcsolatban elsőrendű logikában , automata nélkül permutáció és nyelv, amelynek szintaktikai monoid az aperiodikus bizonyította egyenértékűségét. Schützenberger írta néhány évvel ezelőtt.
McNaughton valószínűleg a végtelen szóautomaták kutatásairól ismert leginkább . 1966. A véges szekvenciák tesztelése és generálása véges automatával című alapvető munkájában bemutatja ennek az elméletnek az első alapvető eredményét, nevezetesen azt, hogy a nem-determinisztikus Büchi-automata meghatározását egy determinisztikus Muller-automatává történő átalakítás végzi .
Más kutatási területek, ahol McNaughton közreműködött, a játékelmélet , az rendszerek átírása , ahol Paliath Narendrannal és Friedrich Ottóval bevezette az Church-Rosser nyelv fogalmát.