рекурсивный язык
Sign in to saveAlso known as decidable
recursive subset of the set of all possible finite sequences over the alphabet of the language
Article · Русский
В математической логике и информатике рекурсивный язык — тип формального языка, также называемый разрешимым, или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP. Этот тип языка не определен в иерархии Хомского.
Abstract from DBpedia / Wikipedia · CC BY-SA