answersLogoWhite

0

Advantage:

• Much more sophisticated than Source Language (SL). Can capture much (but not all) of

natural language.

Disadvantage:

• Not decidable. In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct a single algorithm that always leads to a correct yes-or-no answer.

A decision problem is any arbitrary yes-or-no question on an infinite set of inputs. Because of this, it is traditional to define the decision problem equivalently as the set of inputs for which the problem returns yes. These inputs can be natural numbers, but also other values of some other kind, such as strings of a formal language. Using some encoding, such as a Godel numbering, the strings can be encoded as natural numbers. Thus, a decision problem informally phrased in terms of a formal language is also equivalent to a set of natural numbers. To keep the formal definition simple, it is phrased in terms of subsets of the natural numbers.

Formally, a decision problem is a subset of the natural numbers. The corresponding informal problem is that of deciding whether a given number is in the set. A decision problem A is called decidable or effectively solvable if A is a recursive set. A problem is called partially decidable, semi-decidable, solvable, or provable if A is a recursively enumerable set. Partially decidable problems and any other problems that are not decidable are called undecidable.

User Avatar

Wiki User

12y ago

What else can I help you with?

Related Questions

What is predicate calculus?

Predicate calculus is the axiomatic form of predicate logic.


How can I generate a predicate logic proof using the Predicate Logic Proof Generator?

To generate a predicate logic proof using the Predicate Logic Proof Generator, you need to input the premises and the conclusion of the argument in the appropriate format. The tool will then guide you through the steps to construct a valid proof by applying rules of inference and logical equivalences.


What are the advantage and disadvantage of fidelio?

What are the advantage and disadvantage of fidelio?"


Advantage and disadvantage of workshop?

Advantage and disadvantage of workshop


What is the process of logic without numbers?

Most studies in logic: Boolean algebra, predicate logic etc are independent of numbers.


What is the advantage and disadvantage of market free?

advantage is its fpree. Disadvantage is that its not fpree.


What are the advantage and disadvantage of branch libraries?

what are the advantage and disadvantage branch libraries


What are the advantages and disadvantages of the inductive method?

An advantage of the inductive method is that it looks at nature to provide information. A disadvantage is that is sometimes goes against human logic.


What is the difference between a disadvantage and an advantage?

Advantage and disadvantage are complete opposites. An advantage is something which is beneficial to an individual. A disadvantage would be not to ones benefit.


1 What are the differences between propositional and first order logic?

Difference between Propositonal and Predicate logic


What are the advantage and disadvantage of typing?

what are the advantage and disadvantage of typing what is online typing tutorails


What is the advantage and disadvantage of flashing bios?

i want know to what is advantage and Disadvantage of BIOS