jezyk (w rozumieniu dowolnego zbioru napisów zlozonych ze skonczonego zbioru symboli), dla którego jest okreslony algorytm A, na podstawie którego mozna dowolny z napisów albo odrzucic, albo zaakceptowac; mówi sie wówczas, ze jezyk jest rozstrzygalny przez algorytm A. Zob. tez jezyk formalny.
jezyk rozstrzygalny
Informatyka