Recursive language: Difference between revisions

Revision as of 21:06, 17 June 2013

Revision as of 15:10, 3 November 2013

Line 11:

== Definitions ==

There are two equivalent major definitions for the the concept of a recursive language:

# A recursive formal language is a [[recursive set|recursive]] [[subset]] in the [[set (mathematics)|set]] of all possible words over the [[alphabet]] of the [[formal language|language]].