

		REGULI
	       --------

	Notatie (regula) X -> Y exprima faptul ca valorile multimii X determina in mod unovoc va-
lorile apartinand multimii Y. De exemplu, numarul personal S (cel din buletinul de identitate), de-
termina numele unei persoane (N), adresa ei (A), numarul de telefon (T) si locul nasterii (L), adi-
ca avem: S->N,S->A,S->T,S->L sau compact: S->NATL. Regula NA ->T inseamna ca pe baza numelui si
adresei unei persoane se poate determina numarul de telefon. Pe langa regulile S->N,S->A, si NA->T,
regula S->T, nu aduce nimic nou., deci aceasta regula devine inutila.
	Sa se scrie un program care din fisierul RDORDOx.IN
1) Citeste o multime de reguli, multime in care nu sunt reguli inutile;
2) Citeste o regula noua, apoi stabileste daca regula este inutila, adica poate fi obtinuta din
regulile date la pasul 1);
3) Repeta pasul 2) cat timp nu intalneste alta multime de reguli;
4) Repeta pasii 1(,2( si 3) cat timp exista date de citit din fisierul de intrare.

EXEMPLU:
--------
INTRARE:			IESIRE:
2				Grupul #1
A->BD				A->C inutila
BD->C				Grupul #2
A->C				PS->T inutila
4				QS->P inutila
P->RST				Grupul #3
VRT->SQP			A->D inutila
Q->TR				Grupul #4
SR->V				Nimic nu este inutil
PS->T
QS->P
4
A->B
A->C
B->D
C->D
A->D
2
A->B
B->C
A->D
0

SOLUTIE (propusa de Mugurel Ionut Andreica):
--------------------------------------------

	Pentru fiecare regula care trebuie verificata (daca este sau nu inutila), se executa
urmatoarele:
- toate variabilele din multimea data se considera nedeterminate
- se considera determinate variabilele din partea stanga a regulii ce trebuie verificata
- se parcurge multimea de regului initiale, si de fiecare data cand toate variabilele din
partea stanga a unei regului sunt toate determinate, se considera determinate si toate variabilele
din partea dreapta a regulii
- se repeta pasul anterior pana ce nu mai este determinata nici o variabila
- apoi se verifica daca toate variabilele din partea dreapta a regulii de verificat sunt determi-
nate; daca sunt toate determinate, atunci regula este inutila; altfel, ea nu este inutila.