A token in a grammar cannot be broken into smaller pieces

True

False

Given the following grammar:

::=

:=

:= loves | chases | hates | eats

:= dog | cat | rat

:= a | the

Which of the following is a sentence (i.e )

		cat eats rat
		a dog chases a cat
		the dog loves the cat
		the cow eats the grass

What is the result of the following?

[ ];

		val it = false : bool
		val it = [ ] : list
		val it = [ ] : 'a list
		vali it : = true : bool

A type is a set

True

False

Static type checking determines a type for everything before running a program.

True

False

The language is in ML. Thank you