Как интересно. Похоже, что столь популярный ныне среди функциональщиков, и не только, pattern matching (сопоставление с образцом), появился впервые в SNOBOL'e (1962 год), ну и само описание алгорифмов маркова подозрительно напоминает этот самый pattern matching.