// Benjamin Freeman
// November 3, 2008
//
//-----------------------------------------------------------------------------
// WffCatch takes in a string of characters and detemines is the line is 
// a WFF.
//-----------------------------------------------------------------------------
 

#include <iostream>
using namespace std;

bool WffCatch()
{
	char ch;
	cin.get(ch);

	if(ch != '\n')
	{
		if(ch == 'p' || ch == 'q' || ch == 'r' || ch == 's')  // rule 1 (base case)
		{
			return true;
		}
		else if(ch == 'N')  // rule 2
		{
			cin.get(ch);
			if(ch == '\n')
				return false;
			else
				WffCatch();
		}
		else if(ch == 'C' || ch== 'A' || ch == 'K' || ch == 'E')  // rule 3
		{
			WffCatch();
			
			cin.get(ch);  
                        if(ch == '\n')
                                return false;
                        else
                        	WffCatch();
		}
		else 	
			return false;
	}
}



//---------------------------------------------------------------
// client code
//----------------------------------------------------------------
int main ()
{
	cout << "Enter a string: ";

	WffCatch();

	if(WffCatch())
	{
		cout << "\nThe string is a WFF.\n";
	}
	else
		cout << "\nThe string is not a WFF.\n";
 
	return 0;
}