Legyen az eredeti file x : F (amiből karaktereket olvasunk), és legyen az absztrakt file b : B (amiből a bekezdések sorainak a számát és a leghoszabb sorának a hosszát olvassuk).
Legyen az eredeti file x : F (amiből karaktereket olvasunk), és legyen az absztrakt file b : B (amiből a bekezdések sorainak a számát és a leghoszabb sorának a hosszát olvassuk).