Syntax of First-Order Languages
Wei Li · Birkhäuser Basel eBooks · 2010
Programming languages such as BASIC, Pascal, and C are formal languages used for writing computer programs. A program usually implements an algorithm which describes the computational solution of a specific issue. This chapter introduces a different kind of formal language, known as a first-order language .