Naším hlavním záměrem je představit metodu redukční analýzy pro Funkční generativní popis (FGP) a její souvislost s~formálním překladem. Z vlastností formalizované redukční analýzy lze vyčíst i požadavky na vlastnosti formálních rámců pro FGP.
Proto v poslední části diskutujeme přímé uplatnění překladových restartovacích automatů v roli formálního rámce pro FGP.