CSE2303 Formal Methods I
Semester 1, 2005
Pracs

Prac 2: Lexical Analysis (20 marks)
(postscript), (pdf)

Examples

declare_unfilled.l
Prac 3: Parsing (20 marks)
(postscript), (pdf)

Simple C example program ex1.sc

Simple C example program ex2.sc

Program for converting Simple C programs to C programs (Make sure you delete the comment in the text box)
Prac 4: Parsing with Bison and Flex (20 marks)
(postscript) , (pdf)

plustimes.l

plustimes.y

convert.y
Prac 5: Computable Functions (20 marks)
(postscript) , (pdf)

turing.tar

Prolog Tutorial
Another Prolog tutorial
SWI-Prolog

append predicate

append(X, Y, Z) means Z is equal to X appended to Y.
append([], Y, Y).
append([H|X], Y, [H|Z]) :- append(X, Y, Z). --->
[ Top | Home ]

Last modified 16/5/2005