рдЪреЙрдореНрд╕реНрдХреА рдЬрдирд░реЗрдЯрд┐рдВрдЧ рдЧреНрд░рд╛рдорд░

рд╕рдВрдХреНрд╖рд┐рдкреНрдд рдкрд░рд┐рдЪрдп


рдпрд╣ рдкрд╛рда рдПрдХ рдкреЛрд╕реНрдЯ рдХрд╛ рдПрдХ рдирд┐рд░рдВрддрд░рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рд▓реЗрдЦрдХ рдиреЗ рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛ рдФрд░ рд╡реНрдпрд╛рдХрд░рдг рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХреА рд╣реИ, рдмрд╕ рдФрд░ рдмрд┐рдирд╛ рдЬрдЯрд┐рд▓ рдЧрдгрд┐рддреАрдп рдкрд░рд┐рд╡рд░реНрддрдиреЛрдВ рдХреЗред рдЗрд╕ рдкрд╛рда рдкрд░ рдмрд╣реБрдд рд╕реА рдкреНрд░рддрд┐рдХреНрд░рд┐рдпрд╛рдПрдБ рдЖрдИрдВ рдФрд░ рд▓реЗрдЦрдХ рдиреЗ рдЦреБрдж рдХреЛ рдЕрдЧрд▓реА рдХрдбрд╝реА рд▓рд┐рдЦрдиреЗ рдХреЗ рд▓рд┐рдП рдмрд╛рдзреНрдп рдорд╛рдирд╛ред

рд╕рд╛рдорд╛рдиреНрдп рдЪреЙрдореНрд╕реНрдХреА рд╡реНрдпрд╛рдХрд░рдгреЛрдВ рдХреА рдФрдкрдЪрд╛рд░рд┐рдХрддрд╛ рдиреАрдЪреЗ рд╡рд░реНрдгрд┐рдд рд╣реИред рдЬреЗрдиреЗрд░рд┐рдХ рд╡реНрдпрд╛рдХрд░рдгреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдХрд┐рд╕реА рднрд╛рд╖рд╛ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рдиреЗ рдХреЗ рддрд░реАрдХреЗ рдЕрдм рдХрд╛рдлреА рд▓реЛрдХрдкреНрд░рд┐рдп рд╣реИрдВ, рдЦрд╛рд╕рдХрд░ рдХрдВрдкреНрдпреВрдЯрд░ рднрд╛рд╖рд╛рдУрдВ рдХреЗ рдорд╢реАрди рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рдХреЗ рд▓рд┐рдПред рд▓реЗрдХрд┐рди рдЖрдорддреМрд░ рдкрд░ рдЕрдиреБрд╡рд╛рджрдХ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЬреЗрдиреЗрд░рд┐рдХ рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдЕрдзреНрдпрдпрди рд╕рдВрджрд░реНрдн-рдореБрдХреНрдд рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд╕рд╛рде рд╕рдорд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИред рдЙрддреНрддрд░рд╛рд░реНрджреНрдз рдЬрдирд░реЗрдЯреЗрдб рдЪреЙрдореНрд╕реНрдХреА рд╡реНрдпрд╛рдХрд░рдгреЛрдВ рдХреЗ рдмрдЬрд╛рдп рдПрдХ рд╕рдВрдХреАрд░реНрдг рд╡рд┐рд╢реЗрд╖ рд╡рд░реНрдЧ рд╣реИрдВ рдФрд░ рдЖрдорддреМрд░ рдкрд░ рдкрд╛рд░реНрд╕рд░реНрд╕ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╢реНрд░реЗрдгреАрдмрджреНрдз рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдПрдХ рд░реВрдк рдХреЗ рд░реВрдк рдореЗрдВ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ (рдпрд╣ рдХреИрд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЗрд╕реЗ рдиреАрдЪреЗ рджрд┐рдЦрд╛рдпрд╛ рдЬрд╛рдПрдЧрд╛)ред рдмрд╛рдж рдХреА рдкрд░рд┐рд╕реНрдерд┐рддрд┐ рдХреЗрд╡рд▓ рдЪреЙрдореНрд╕реНрдХреА рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреА рд╕рдордЭ рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдХрд░рддреА рд╣реИред рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЪрд░реНрдЪрд╛ рдЙрди рд▓реЛрдЧреЛрдВ рдХреЗ рд▓рд┐рдП рд╣реИ рдЬреЛ рдпрд╣ рд╕рдордЭрдиреЗ рдореЗрдВ рд░реБрдЪрд┐ рд░рдЦрддреЗ рд╣реИрдВ рдХрд┐ рдпрд╣ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреНрдпрд╛ рд╣реИред



рд╡реНрдпрд╛рдХрд░рдг рдХреА рдкрд░рд┐рднрд╛рд╖рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рдирд╛


рд╡реНрдпрд╛рдХрд░рдг рдПрдХ рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛ рдХрд╛ рдЕрдВрддрд┐рдо рд╡рд┐рд╡рд░рдг рд╣реИред рдПрдХ рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛, рдмрджрд▓реЗ рдореЗрдВ, рдПрдХ рдкрд░рд┐рдорд┐рдд рд╡рд░реНрдгрдорд╛рд▓рд╛ рдХреЗ рдкрд╛рддреНрд░реЛрдВ рд╕реЗ рдмрдиреА рдЬрдВрдЬреАрд░реЛрдВ рдХрд╛ рдПрдХ рдордирдорд╛рдирд╛ рд╕реЗрдЯ рд╣реИред рдпрд╣рд╛рдВ рд╕реЗрдЯ рдХреА рдордирдорд╛рдиреА рдХреЛ рдЗрд╕ рдЕрд░реНрде рдореЗрдВ рд╕рдордЭрд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рдпрд╣ рдЕрдирдВрдд, рдкрд░рд┐рдорд┐рдд рдпрд╛ рдЦрд╛рд▓реА рд╣реЛ рд╕рдХрддрд╛ рд╣реИред

рдкрд┐рдЫрд▓реА рд╕рджреА рдХреЗ рдЙрддреНрддрд░рд╛рд░реНрдз рдХреЗ 50 рдХреЗ рджрд╢рдХ рдореЗрдВ рдиреЛрдо рдЪреЛрдореНрд╕реНрдХреА рджреНрд╡рд╛рд░рд╛ рдЬреЗрдиреЗрд░рд┐рдХ рдЪреЙрдореНрд╕реНрдХреА рд╡реНрдпрд╛рдХрд░рдгреЛрдВ рдХреА рдФрдкрдЪрд╛рд░рд┐рдХрддрд╛ рд╢реБрд░реВ рдХреА рдЧрдИ рдереАред рдХреБрдЫ рд╣реА рд╕рдордп рдореЗрдВ, рдЗрд╕ рдФрдкрдЪрд╛рд░рд┐рдХрддрд╛ рдиреЗ рдЕрд╕рд╛рдзрд╛рд░рдг рд▓реЛрдХрдкреНрд░рд┐рдпрддрд╛ рдкреНрд░рд╛рдкреНрдд рдХреАред рдХреБрдЫ рд╕рдордп рдХреЗ рд▓рд┐рдП, рд╡реНрдпрд╛рдХрд░рдг рдЙрддреНрдкрдиреНрди рдХрд░рдирд╛ рдПрдХ рд░рд╛рдордмрд╛рдг рдХреЗ рд░реВрдк рдореЗрдВ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рдерд╛ - рд╕рднреА рдкреНрд░рдХрд╛рд░ рдХреА рднрд╛рд╖рд╛рдУрдВ рдХреЛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рджреГрд╖реНрдЯрд┐рдХреЛрдг, рдЬрд┐рд╕рдореЗрдВ рдкреНрд░рд╛рдХреГрддрд┐рдХ рднреА рд╢рд╛рдорд┐рд▓ рд╣реИрдВ (рдпрд╛рдиреА рдРрд╕реА рднрд╛рд╖рд╛рдПрдВ рдЬреЛ рд▓реЛрдЧ рдЖрдкрд╕ рдореЗрдВ рд░реЛрдЬрдорд░реНрд░рд╛ рдХреЗ рд╕рдВрдЪрд╛рд░ рдХреЗ рд▓рд┐рдП рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВ)ред рд▓реЗрдХрд┐рди рд╕рдордп рдиреЗ рджрд┐рдЦрд╛рдпрд╛ рд╣реИ рдХрд┐ рдкреНрд░рд╛рдХреГрддрд┐рдХ рднрд╛рд╖рд╛рдУрдВ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рд╛рдорд╛рдиреНрдп рд╡реНрдпрд╛рдХрд░рдг рдмрд╣реБрдд рд╕реБрд╡рд┐рдзрд╛рдЬрдирдХ рдирд╣реАрдВ рд╣реИрдВред рдЕрдм рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рднрд╛рд╖рд╛рдУрдВ рдФрд░ рдЕрдиреНрдп рдХрдВрдкреНрдпреВрдЯрд░ рднрд╛рд╖рд╛рдУрдВ рдЬреИрд╕реА рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛рдУрдВ рдХреЗ рд╡рд╛рдХреНрдп-рд╡рд┐рдиреНрдпрд╛рд╕ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдЬреЗрдирд░реЗрдЯрд░ рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

рдЪреЙрдореНрд╕реНрдХреА рдХреЗ рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг рдХреЛ "рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдореЛрдВ" (рдкреНрд░рд╕реНрддреБрддрд┐рдпреЛрдВ) рдХреЗ рдПрдХ рд╕реЗрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдирд┐рдпрдо рд╕рд┐рд░реНрдл рдЬрдВрдЬреАрд░реЛрдВ рдХреА рдПрдХ рдЬреЛрдбрд╝реА рд╣реИ (w', w'') рдФрд░ рд╡реНрдпрд╛рдХрд░рдг рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рднрд╛рд╖рд╛ рдХреА рдЬрдВрдЬреАрд░реЛрдВ рдХреЛ рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдкрд░ рдмрд╛рдИрдВ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ рджрд╛рдИрдВ рдУрд░ рд╕реЗ рдмрджрд▓рдирд╛ рд╕рдВрднрд╡ рдмрдирд╛рддрд╛ рд╣реИред рдЗрд╕ рдХрд╛рд░рдг рд╕реЗ, рдирд┐рдпрдореЛрдВ рдХреЛ рдЖрдорддреМрд░ рдкрд░ w' --> w'' рд░реВрдк рдореЗрдВ рд▓рд┐рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рдХреНрдпрд╛ рдмрджрд▓рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдирд┐рдпрдореЛрдВ рдХрд╛ рд╕реЗрдЯ рдЧреИрд░-рд░рд┐рдХреНрдд рдФрд░ рдкрд░рд┐рдорд┐рдд рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдФрд░ рдЖрдорддреМрд░ рдкрд░ рд▓реИрдЯрд┐рди рдкреА рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реВрдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдЬрдВрдЬреАрд░реЛрдВ рдХреЛ рджреЛ рд╡рд░реНрдгреЛрдВ рд╕реЗ рдмрдирд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ: рдЯрд░реНрдорд┐рдирд▓ рд╡рд░реНрдгреЛрдВ (рдЯрд░реНрдорд┐рдирд▓реЛрдВ) рдХреА рд╡рд░реНрдгрдорд╛рд▓рд╛ рдФрд░ рдЧреИрд░-рдЯрд░реНрдорд┐рдирд▓ рд╡рд░реНрдгреЛрдВ (рдЧреИрд░-рдЯрд░реНрдорд┐рдирд▓реЛрдВ) рдХреА рд╡рд░реНрдгрдорд╛рд▓рд╛ред рдЯрд░реНрдорд┐рдирд▓ рд╡рд░реНрдгрдорд╛рд▓рд╛ рдХреЛ рдЯреА рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реВрдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣ рд╡рд░реНрдгрдорд╛рд▓рд╛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛ рдХреА рд╡рд░реНрдгрдорд╛рд▓рд╛ рд╕реЗ рдореЗрд▓ рдЦрд╛рддреА рд╣реИ рдЬрд┐рд╕реЗ рдпрд╣ рд╡реНрдпрд╛рдХрд░рдг рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред "рдЯрд░реНрдорд┐рдирд▓" рд╢рдмреНрдж рдХрд╛ рдЕрд░реНрде рдпрд╣ рд╣реИ рдХрд┐ рдмрд╛рдИрдВ рдУрд░ рдХреЗ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдРрд╕реА рдХреЛрдИ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреА рд╣реИ рдЬреЛ рдХреЗрд╡рд▓ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХреЛрдВ рд╕реЗ рдмрдиреА рд╣реЛред рдЗрд╕рд▓рд┐рдП, рдпрджрд┐ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдРрд╕реА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдирд┐рдХрд▓реА, рддреЛ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдмрдирд╛рдиреЗ рдХреА рдЕрдЧрд▓реА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдмрдВрдж рд╣реЛ рдЬрд╛рдПрдЧреА (рд╕рдорд╛рдкреНрдд)ред рдЧреИрд░-рд╕рд╛рдВрдХреЗрддрд┐рдХ рдкреНрд░рддреАрдХреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдордзреНрдпрд╡рд░реНрддреА рдЬрдВрдЬреАрд░реЛрдВ рдореЗрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рдиреЗ рдореЗрдВ рдПрдХ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рдХрд╛ рдЕрд░реНрде рдмрд╣реБрдд рдЕрд▓рдЧ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рдФрд░ рдЖрдорддреМрд░ рдкрд░ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рдХрд╛рд░ рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдЗрд╕ рдкреНрд░рддреАрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЧреИрд░-рдкреНрд░рддреАрдХреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдиреЗ рдХреЗ рд╡рд┐рднрд┐рдиреНрди рдЙрджрд╛рд╣рд░рдгреЛрдВ рдкрд░ рдиреАрдЪреЗ рдЪрд░реНрдЪрд╛ рдХреА рдЬрд╛рдПрдЧреАред

рд▓реЗрдХрд┐рди рдПрдХ рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рдиреНрд╣ рдХрд╛ рд╣рдореЗрд╢рд╛ рдПрдХ рд╣реА рдЕрд░реНрде рд╣реЛрддрд╛ рд╣реИ - рдпрд╣ рдХрд┐рд╕реА рднрд╛рд╖рд╛ рдХреА рд╕рднреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рдХреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИред рдЗрд╕ nonterminal рдХреЛ "рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ nonterminal рдЪрд░рд┐рддреНрд░" рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдФрд░ рдЗрд╕реЗ рдЖрдорддреМрд░ рдкрд░ рд▓реИрдЯрд┐рди S (рд╢реБрд░реВ рдпрд╛ рд╡рд╛рдХреНрдп) рджреНрд╡рд╛рд░рд╛ рджрд░реНрд╢рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдЖрд╡рд╢реНрдпрдХ рд░реВрдк рд╕реЗ рдПрдХ рдирд┐рдпрдо рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдЬрд┐рд╕рдХреЗ рдмрд╛рдПрдВ рднрд╛рдЧ рдореЗрдВ рдПрдХ рд╣реА рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЧреИрд░-рд╕рдорд░реВрдкрддрд╛ рд╣реЛрддреА рд╣реИ, рдЕрдиреНрдпрдерд╛ рдЗрд╕ рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдПрдХ рднреА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рдирд╛ рд╕рдВрднрд╡ рдирд╣реАрдВ рд╣реЛрдЧрд╛ред

рддреЛ, рдЪреЙрдореНрд╕реНрдХреА рдХрд╛ рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг рдПрдХ рдЪреМрдЧреБрдирд╛ G = {N, T, P, S} , рдЬрд╣рд╛рдВ


рдЬрдирдХ рд╡реНрдпрд╛рдХрд░рдг рднрд╛рд╖рд╛


рдЪреЙрдореНрд╕реНрдХреА рдХрд╛ рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг рдПрдХ рднрд╛рд╖рд╛ рдХреЛ рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдореЛрдВ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдПрдХ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рд╕реЗ рдЬрдВрдЬреАрд░реЛрдВ рдХреЗ рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред рдЖрдЗрдП рд╣рдо рдЗрд╕рдХрд╛ рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рд╡рд░реНрдгрди рдХрд░рддреЗ рд╣реИрдВред

w' alpha w'' => w' beta w'' рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рдЪрд░рдг рдореЗрдВ alpha рдЙрдкрдЪреИрди рдХреА рдЬрдЧрд╣ beta рдЙрдкрдЪреИрди рдХреЛ alpha --> beta рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдо рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╢рд╛рдорд┐рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ, рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ, рд╢реНрд░реГрдВрдЦрд▓рд╛ w' alpha w'' рд╢реНрд░реГрдВрдЦрд▓рд╛ w' beta w'' рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдпрджрд┐ рдХреБрдЫ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдо рдореЗрдВ рдХреБрдЫ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдФрд░ рдЙрд╕рдХреА рдХреБрдЫ рдЙрдк-рд╢реНрд░реГрдВрдЦрд▓рд╛рдПрдВ рд╣реИрдВ, рддреЛ рд╣рдореЗрдВ рдирд┐рдпрдо рдХреЗ рдЗрд╕ рдмрд╛рдИрдВ рдУрд░ рдХреЛ рджрд╛рдИрдВ рдУрд░ рд╕реЗ рдмрджрд▓рдиреЗ рдХрд╛ рдкреВрд░рд╛ рдЕрдзрд┐рдХрд╛рд░ рд╣реИред рд╕реНрдкреЙрдирд┐рдВрдЧ рдЪрд░рдгреЛрдВ рдХреЗ рдЕрдВрддрд┐рдо рдЕрдиреБрдХреНрд░рдо рдХреЛ рд╕реНрдкреЙрдирд┐рдВрдЧ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред рд╢реВрдиреНрдп рдпрд╛ рдЕрдзрд┐рдХ рдкреНрд░рд╛рдгрд┐рдпреЛрдВ рдХреЛ =>* рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реВрдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ред рдкрджрдирд╛рдо alpha =>* beta рдЗрдВрдЧрд┐рдд рдХрд░рддрд╛ рд╣реИ рдХрд┐ beta рд╢реНрд░реГрдВрдЦрд▓рд╛ alpha рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╕реЗ рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдореЛрдВ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдХреНрд░рдордмрджреНрдз рд╕рдВрдЦреНрдпрд╛рдУрдВ рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛рддреА рд╣реИред рдЗрд╕ рдЕрдВрдХрди рдореЗрдВ, рдпрд╣ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рдХрд┐ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди (рдкреАрдврд╝реА) рдХреЛ рдХрднреА рд▓рд╛рдЧреВ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ alpha рд╢реНрд░реГрдВрдЦрд▓рд╛ beta рдХреЗ рд╕рд╛рде рдореЗрд▓ рдЦрд╛рддреА рд╣реИред

рддреЛ, рдЙрддреНрдкрдиреНрди рд╡реНрдпрд╛рдХрд░рдг G = {N, T, P, S} рдХреА рднрд╛рд╖рд╛ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХреЛрдВ рд╕реЗ рдмрдиреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рдХрд╛ рдПрдХ рд╕рдореВрд╣ рд╣реИ рдФрд░ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдкреНрд░рддреАрдХ рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреА рд╣реИред рдЧрдгрд┐рддреАрдп рд╕реВрддреНрд░ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ: L = {w | S =>* w} L = {w | S =>* w} ред

рд╕рдордЭрд╛рдиреЗ рдХреЗ рд▓рд┐рдП, рдпрд╣рд╛рдБ рджреЛ рд╕рд░рд▓ рдЙрджрд╛рд╣рд░рдг рд╣реИрдВред

рдПрдХ рдмрд╣реБрдд рд╣реА рд╕рд░рд▓ рднрд╛рд╖рд╛ рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг

рдмрддрд╛ рджреЗрдВ рдХрд┐ рднрд╛рд╖рд╛ L рдореЗрдВ рдПрдХ рдЪреЗрди рд╣реЛрддреА рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╕рд┐рдВрдЧрд▓ рд╕рд┐рдВрдмрд▓ a ред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, L = {a} ред рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдПрдХ рдирд┐рдпрдо S --> a рдкрд░реНрдпрд╛рдкреНрдд рд╣реИред рдЗрд╕ рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдПрдХрдорд╛рддреНрд░ рдЙрддреНрдкрд╛рдж S => a ред

рдпрд╣ рдзреНрдпрд╛рди рджрд┐рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдП рдХрд┐ рдЗрд╕ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдХреЛрдИ рд╡реНрдпрдХреНрддрд┐ рдПрдХ рдФрд░ рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рд╣реНрди рдкреЗрд╢ рдХрд░ рд╕рдХрддрд╛ рд╣реИ, рдХрд╣ рд╕рдХрддрд╛ рд╣реИ рдХрд┐ рдкреНрд░рддреАрдХ A , рд╕рд╛рде рд╣реА рдирд┐рдпрдо S --> A рдФрд░ A --> a ред рдлрд┐рд░ рдПрдХрдорд╛рддреНрд░ рдкрд░рд┐рдгрд╛рдо рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╣реЛрдЧрд╛: S => A => a ред рдЪреВрдВрдХрд┐ рдЧреИрд░-рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рд╡реНрдпрд╛рдХрд░рдг рдХреА рд╡рд░реНрдгрдорд╛рд▓рд╛ рд╣рдо рдордирдорд╛рдиреЗ рдврдВрдЧ рд╕реЗ рдЪреБрдирддреЗ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП рдпрд╣ рд╕реНрдкрд╖реНрдЯ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рдЗрддрдиреА рд╕рд░рд▓ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рднреА рдЗрд╕ рднрд╛рд╖рд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдХрдИ рдЬрдирдХ рд╡реНрдпрд╛рдХрд░рдг рд╣реИрдВред

рд╕рд░рд▓ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рднрд╛рд╖рд╛

рднрд╛рд╖рд╛ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ A = {a+a, a+a+a, a+a+a+a, ...} ред рдЗрд╕ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдПрдБ рд╡рд░реНрдгреЛрдВ рдХреЗ рдЕрдиреБрдХреНрд░рдо рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЗрдВ + рд╡рд░реНрдгреЛрдВ рджреНрд╡рд╛рд░рд╛ рдЕрд▓рдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдЗрд╕ рднрд╛рд╖рд╛ рдХреЛ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдирд┐рдпрдо рдХреИрд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░реЗрдВ? рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рднрд╛рд╖рд╛ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдПрдХ рдпрд╛ рдЕрдзрд┐рдХ рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ +a рдмрд╛рдж рд╕реЗ рд╢реБрд░реВ рд╣реЛрддреА +a ред рддрджрдиреБрд╕рд╛рд░, рдпрд╣ рд╡рд┐рдЪрд╛рд░ рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ рдкреНрд░рддреАрдХ рдХреЛ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ a , рдФрд░ рдлрд┐рд░ рдЗрд╕ рдкреНрд░рддреАрдХ рдХреЗ рджрд╛рдИрдВ рдУрд░ рдПрдХ рдпрд╛ рдЕрдзрд┐рдХ рд╢реНрд░реГрдВрдЦрд▓рд╛рдПрдБ рд╕рдВрд▓рдЧреНрди рдХрд░рдХреЗ рднрд╛рд╖рд╛ рдХреА рдкреНрд░рддреНрдпреЗрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛рдПрдЧреАред рдкреАрдврд╝реА рдХреЗ рдЗрди рджреЛ рдЪрд░рдгреЛрдВ рдХреЛ рдПрдХ рджреВрд╕рд░реЗ рд╕реЗ рдЕрд▓рдЧ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХ A рдкрд░рд┐рдЪрдп рджреЗрддреЗ рд╣реИрдВ A рдлрд┐рд░, рд╣рдореЗрдВ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдирд┐рдпрдореЛрдВ рдХреЗ рд╕рд╛рде рдПрдХ рд╡реНрдпрд╛рдХрд░рдг рдорд┐рд▓рддрд╛ рд╣реИ: S --> aA, A --> +aA, A --> +a ред

рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рд╢реНрд░реГрдВрдЦрд▓рд╛ a+a+a рдХреИрд╕реЗ рдЙрддреНрдкрдиреНрди рдХрд░реЗрдВ, рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред S => aA => a+aA => a+a+a ред рдЗрд╕ рдкреАрдврд╝реА рдореЗрдВ, рд╕рднреА рддреАрди рдирд┐рдпрдореЛрдВ рдХреЛ рдХреНрд░рдорд┐рдХ рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛: S --> aA, A --> +aA, A --> +a ред

рднрд╛рд╖рд╛ A рдореЗрдВ рдЕрдирдВрдд рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдЬрдВрдЬреАрд░ рд╣реЛрддреА рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ рдЗрд╕ рднрд╛рд╖рд╛ рдореЗрдВ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рд▓рдВрдмрд╛рдИ рдкрд░ рдХреЛрдИ рдкреНрд░рддрд┐рдмрдВрдз рдирд╣реАрдВ рд╣реИред рдЕрд╕реАрдорд┐рдд рд▓рдВрдмрд╛рдИ рдХреА рдЬрдВрдЬреАрд░реЛрдВ рдХреЛ рдлреИрд▓рд╛рдиреЗ рдХрд╛ рдПрдХрдорд╛рддреНрд░ рддрд░реАрдХрд╛ рдкреБрдирд░рд╛рд╡рд░реНрддреА рд╕реНрдкреЙрди рдирд┐рдпрдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛ рд╣реИ, рдЕрд░реНрдерд╛рддред рдирд┐рдпрдо рдЬрд┐рд╕рдореЗрдВ рджрд╛рдИрдВ рдУрд░ рдХреЗ рдирд┐рдпрдо рдореЗрдВ рдЙрд╕рдХрд╛ рдмрд╛рдпрд╛рдБ рднрд╛рдЧ рд╣реЛрддрд╛ рд╣реИред рдЙрдкрд░реЛрдХреНрдд рдЙрджрд╛рд╣рд░рдг рдореЗрдВ, рдпрд╣ рдирд┐рдпрдо A --> +aA ред рдмрд╛рдИрдВ рдУрд░ рдПрдХ рдПрдХрд▓ рдЪрд┐рд╣реНрди A рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИ, рдЬреЛ рджрд╛рдПрдВ рдкрдХреНрд╖ рдореЗрдВ рднреА рдирд┐рд╣рд┐рдд рд╣реИред рдпрд╣ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди, рдмрдврд╝рддреА, рдЖрд╡рд╢реНрдпрдХ, рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рд▓рдВрдмрд╛рдИ рдореЗрдВ рдПрдХ рд╣реА рдирд┐рдпрдо рдХреЛ рд▓рдЧрд╛рддрд╛рд░ рд▓рд╛рдЧреВ рдХрд░рдирд╛ рд╕рдВрднрд╡ рдмрдирд╛рддреА рд╣реИред рдЗрдВрдЯрд░рдореАрдбрд┐рдПрдЯ рдирд┐рдпрдореЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рднреА рдкреБрди: рдЕрдкреНрд░рддреНрдпрдХреНрд╖ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдирд┐рдпрдо A --> aBc, B --> deA рд╢реНрд░реГрдВрдЦрд▓рд╛ A рдХреЗ рдЕрдкреНрд░рддреНрдпрдХреНрд╖ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВ A

рд╡реНрдпрд╛рдХрд░рдг рд╡рд░реНрдЧ


рдиреЛрдЖрдо рдЪреЙрдореНрд╕реНрдХреА рдиреЗ рд╡реНрдпрд╛рдХрд░рдг рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рдирд┐рдпрдореЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рддрд┐рдмрдВрдз рд▓рдЧрд╛рдХрд░ рд╡реНрдпрд╛рдХрд░рдг рд╡рд░реНрдЧреЛрдВ (рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рднрд╛рд╖рд╛ рд╡рд░реНрдЧ) рдХреА рд╢реБрд░реБрдЖрдд рдХреАред рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рд╡рд░реНрдЧ рдХреА рдЕрдкрдиреА рд╡рд░реНрдгрдирд╛рддреНрдордХ рд╢рдХреНрддрд┐ рд╣реЛрддреА рд╣реИред рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд╡рд░реНрдЧ рдХреА рд╡рд░реНрдгрдирд╛рддреНрдордХ рд╢рдХреНрддрд┐ рдХреЛ рдХреБрдЫ рд╡рд╛рдХреНрдпрд╛рддреНрдордХ рд╕рдВрдмрдВрдзреЛрдВ рдХреЗ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рдХреЗ рд░реВрдк рдореЗрдВ рдЪрд┐рддреНрд░рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕ рдмрд╛рдд рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ рдХрд┐ рд╡реНрдпрд╛рдХрд░рдг рд╡рд░реНрдЧ рд╡рд╛рдХреНрдпрд╡рд┐рдиреНрдпрд╛рд╕ рд╕рдВрдмрдВрдзреЛрдВ рдХреЛ рдХреИрд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред

рд╡реНрдпрд╛рдХрд░рдг рдкреНрд░рдХрд╛рд░ 3

рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдпрд╣ рд╡рд░реНрдЧ рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рджрд╛рдпреЗрдВ рдпрд╛ рдмрд╛рдпреЗрдВ рдХрд┐рдирд╛рд░реЗ рд╕реЗ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдХрд░ рдЬрдВрдЬреАрд░реЛрдВ рдХреЛ рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдердо рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред рдЬрд╛рд╣рд┐рд░ рд╣реИ, рдРрд╕реА рдкреАрдврд╝реА рдкрджреНрдзрддрд┐ рдХреЗ рдирд┐рдпрдо A --> alpha B рдпрд╛ A --> B alpha , рдЬрд╣рд╛рдВ alpha рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХреЛрдВ рд╕реЗ рдпреБрдХреНрдд рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИред рдЗрд╕ рд╕реНрдерд┐рддрд┐ рдореЗрдВ, рдпрджрд┐ рдПрдХ рдордзреНрдпрд╡рд░реНрддреА (рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ) рдЪреЗрди X1..Xn A , рддреЛ рдирд┐рдпрдо A --> alpha B рдЕрдиреБрд╕рд╛рд░ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рд╢реНрд░реГрдВрдЦрд▓рд╛ X1..Xn alpha B рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдирд┐рдпрдореЛрдВ рдХреЗ рд▓рд┐рдП S --> aaaA , A --> abcA рдФрд░ A --> bbb рдЖрдк рдкреАрдврд╝реА рдХреЛ S => aaaA => aaaabcA => aaaabcbbb рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред

рдЯрд╛рдЗрдк 3 рд╡реНрдпрд╛рдХрд░рдгреЛрдВ рджреНрд╡рд╛рд░рд╛ рджрд┐рдП рдЧрдП рд╡рд╛рдХреНрдпрд╛рддреНрдордХ рд╕рдВрдмрдВрдз рдХреЛ "рдирд┐рдХрдЯ рд╣реЛрдирд╛" рд╢рдмреНрдж рд╕реЗ рдирд┐рд░реВрдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдпрд╣рд╛рдБ "рдкрд╛рд╕" рдХрд╛ рдЕрд░реНрде рд╕реАрдзреЗ рдЗрд╕рдХреЗ рдмрдЧрд▓ рдореЗрдВ рд╣реИ, рдЕрдЧрд░ рдЗрд╕реЗ рдХреБрдЫ рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдо рдХреЗ рджрд╛рдИрдВ рдУрд░ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдФрд░ рдЗрд╕рдХреЗ рдмрд╛рдж рдЕрдкреНрд░рддреНрдпрдХреНрд╖ рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдЧреИрд░-рдкреНрд░рддреАрдХреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗред

рдЧрдгрд┐рддреАрдп рдХрдареЛрд░рддрд╛ рдХреЗ рд▓рд┐рдП, рд╡реНрдпрд╛рдХрд░рдг рдкреНрд░рдХрд╛рд░ 3 рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХреЛрдВ рдХреА рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреЛ рджрд╛рдИрдВ рдУрд░ рдПрдХ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХ рдХреЗ рд╕рд╛рде рдХрдИ рдирд┐рдпрдореЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдпрджрд┐ рдХреЛрдИ рдирд┐рдпрдо A --> abcB , рддреЛ рдЗрд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдирд┐рдпрдореЛрдВ рджреНрд╡рд╛рд░рд╛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬрд┐рд╕рдХреЗ рдкрд░рд┐рдгрд╛рдорд╕реНрд╡рд░реВрдк рдЖрд╡реЗрджрди рдПрдХ рд╣реА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ: A --> a A1 , A1 --> b A2 , A2 --> cB ред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди A => abcB рдХреНрд░рдордкрд░рд┐рд╡рд░реНрддрди A => a A1 => ab A2 => abcB ред рдРрд╕реЗ рд╡реНрдпрд╛рдХрд░рдг, рдЬрд╣рд╛рдБ рдирд┐рдпрдо рдХреЗ рджрд╛рд╣рд┐рдиреЗ рднрд╛рдЧ рдореЗрдВ рджрд╛рдпреАрдВ рдУрд░ рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рдиреНрд╣ рд╣реЛрддреЗ рд╣реИрдВ, рджрд╛рдПрдВ-рд░реЗрдЦреАрдп рд╡реНрдпрд╛рдХрд░рдг рдХрд╣рд▓рд╛рддреЗ рд╣реИрдВ, рдпрджрд┐ рджрд╛рд╣рд┐рдиреЗ рднрд╛рдЧ рдореЗрдВ рдЧреИрд░-рдЯрд░реНрдорд┐рдирд▓ рдЪрд┐рдиреНрд╣ рдЯрд░реНрдорд┐рдирд▓ рдХреЗ рдмрд╛рдИрдВ рдУрд░ рд╣реЛрддрд╛ рд╣реИ, рддреЛ рд╡реНрдпрд╛рдХрд░рдг рдХреЛ рд╡рд╛рдо-рд░реЗрдЦреАрдп рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред

рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, A = {a+a, a+a+a, a+a+a+a, ...} рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рд╡рд╛рдо-рд░реЗрдЦреАрдп рд╡реНрдпрд╛рдХрд░рдг рд╕реЗрдЯ рдХрд░реЗрдВред рдЯрд╛рдЗрдк 3 рд╡реНрдпрд╛рдХрд░рдг рдирд┐рдпрдо, рдЬреИрд╕рд╛ рдХрд┐ рдКрдкрд░ рдЪрд░реНрдЪрд╛ рдХреА рдЧрдИ рд╣реИ, рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВ: S --> aA, A --> +aA, A --> +a ред рдпрд╣рд╛рдВ, рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рдХреЛ рд╕рд╣реА рдкрд░ рд╡рд░реНрдгреЛрдВ рдХреА рдПрдХ рдЬреЛрдбрд╝реА рдЬреЛрдбрд╝рдХрд░ рдЙрддреНрдкрдиреНрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд╡реНрдпрд╛рдХрд░рдг рдХреЛ рдмрджрд▓реЗрдВ рддрд╛рдХрд┐ рд╡рд░реНрдг рдмрд╛рдИрдВ рдУрд░ рдЬреБрдбрд╝ рдЬрд╛рдПрдВ, рдФрд░ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рд╡рд░реНрдг рднреА рдЬреЛрдбрд╝ рджреЗрдВ рддрд╛рдХрд┐ рд╣рд░ рдмрд╛рд░ рдЬрдм рдЖрдк рдХреЗрд╡рд▓ рдПрдХ рд╡рд░реНрдг рдЬреЛрдбрд╝реЗрдВред рд╡реНрдпрд╛рдХрд░рдг рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ:
S --> Aa
A --> B+
B --> Aa
B --> a
рдпрд╣ рд╣реИ рдХрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рдкреАрдврд╝реА a+a+a : a+a+a S => Aa => B+a => Aa+a => B+a+a => a+a+a ред

рдПрдХ рдЪреМрдХрд╕ рдкрд╛рдардХ рдиреЗ рд╢рд╛рдпрдж рджреЗрдЦрд╛ рдХрд┐ рдЯрд╛рдЗрдк 3 рд╡реНрдпрд╛рдХрд░рдг рдПрдХ рдЬреЗрдирд░реЗрдЯрд░ рдСрдЯреЛрдореЗрдЯрди рдХреЗ рд╕рдорд╛рди рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдЧреИрд░-рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рддреАрдХ рд░рд╛рдЬреНрдпреЛрдВ рдХреА рднреВрдорд┐рдХрд╛ рдирд┐рднрд╛рддреЗ рд╣реИрдВред рдЗрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреА рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рд╡реНрдпрд╛рдЦреНрдпрд╛, рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ, рдПрдХ рдкрд░рд┐рдорд┐рдд рдЕрд╡рд╕реНрдерд╛ рдорд╢реАрди рд╣реИред

рдкреНрд░рд╕рдВрдЧ-рдореБрдХреНрдд рд╡реНрдпрд╛рдХрд░рдг

рдкреНрд░рд╕рдВрдЧ-рдореБрдХреНрдд рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдирд┐рдпрдо рдХреЗ рдирд┐рдпрдо рд╣реИрдВ: A --> alpha ред рдирд┐рдпрдо рдХреЗ рдмрд╛рдИрдВ рдУрд░ рдПрдХ рд╡рд░реНрдг (рдирд┐рд╢реНрдЪрд┐рдд рд░реВрдк рд╕реЗ, рдиреЙрдирдЯрд░реНрдорд┐рдирд▓) рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдФрд░ рджрд╛рдИрдВ рдУрд░ рдЯрд░реНрдорд┐рдирд▓ рдФрд░ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рд╡рд░реНрдг (рдЦрд╛рд▓реА рдПрдХ рд╕рд╣рд┐рдд) рдХреА рдХреЛрдИ рднреА рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реЛ рд╕рдХрддреА рд╣реИред

рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рджреЛ рдкреНрд░рдХрд╛рд░ рдХреЗ рд╡рд╛рдХреНрдпрд╛рддреНрдордХ рд╕рдВрдмрдВрдзреЛрдВ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИ: рд╕рдВрдмрдВрдз "рдирд┐рдХрдЯ рд╣реЛрдирд╛" рдФрд░ рд╕рдВрдмрдВрдз "рднрд╛рдЧ рд╣реЛрдирд╛" рдпрд╛ рдкрджрд╛рдиреБрдХреНрд░рдо рдХрд╛ рд╕рдВрдмрдВрдзред рдорд╛рдирд╡ рдорди рдХреЗ рд▓рд┐рдП рдкрджрд╛рдиреБрдХреНрд░рдо рдХрд╛ рд╕рдВрдмрдВрдз рд╕рдмрд╕реЗ рд╕реНрд╡рд╛рднрд╛рд╡рд┐рдХ рд╣реИред рдЪреАрдЬреЛрдВ рдХреЛ рдЯрд╛рдЗрдк рдХрд░рдирд╛ рдорд╛рдирд╡ рд╕реНрд╡рднрд╛рд╡ рд╣реИ, рдЕрд░реНрдерд╛рдд рдХреБрдЫ рд╕рд╛рдорд╛рдиреНрдп рдкреНрд░рдХрд╛рд░ (рд╡рд░реНрдЧ) рдХреЗ рд╣рд┐рд╕реНрд╕реЗ рдХреЗ рд░реВрдк рдореЗрдВ рдЕрдкрдиреА рд╕реЛрдЪ рдХреА рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╡рд╕реНрддреБрдУрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВред рдкреНрд░рддреНрдпреЗрдХ рд╡реНрдпрдХреНрддрд┐ рдЬреЛ рд╕реЛрдЪрддрд╛ рд╣реИ рд╡рд╣ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рд╡рд░реНрдЧ рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдПрдХ рд╡рд┐рд╢реЗрд╖ рдХреБрд░реНрд╕реА рд╕рдВрдмрдВрдзрд┐рдд рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рдХреЗ рд╕рд╛рде рд╡рд░реНрдЧ "рдХреБрд░реНрд╕реА" рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рд╣реИред рдорд╛рдирд╡ рдорди рдХреЗ рдкреНрд░рдХрд╛рд░реЛрдВ рдХреЛ рдЙрдк-рдкреНрд░рдХрд╛рд░реЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рдирд╛ рднреА рд╕рд╛рдорд╛рдиреНрдп рд╣реИ, рдЕрдзрд┐рдХ рд╡рд┐рд╢рд┐рд╖реНрдЯ рдкреНрд░рдХрд╛рд░реЛрдВ рд╕реЗ рдЕрдзрд┐рдХ рд╕рд╛рд░ рддрдХ рдмрдврд╝ рд░рд╣рд╛ рд╣реИред рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рдПрдХ рдХреБрд░реНрд╕реА рдкреНрд░рдХрд╛рд░ рдХреЗ рдлрд░реНрдиреАрдЪрд░ рдХрд╛ рдЙрдкрдкреНрд░рдХрд╛рд░ рд╣реИ, рдлрд░реНрдиреАрдЪрд░ рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд╕реНрддреБ рдХрд╛ рдПрдХ рдЙрдкрдкреНрд░рдХрд╛рд░ рд╣реИ, рдПрдХ рд╡рд╕реНрддреБ рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд╕реНрддреБ рдХрд╛ рдПрдХ рдЙрдкрдкреНрд░рдХрд╛рд░ рд╣реИ, рдЖрджрд┐ред рд╕рдВрдмрдВрдз "рдкреНрд░рдХрд╛рд░-рдЙрдкрдкреНрд░рдХрд╛рд░" рдкрджрд╛рдиреБрдХреНрд░рдо рдХрд╛ рд╕рдВрдмрдВрдз рд╣реИред

рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛ рд╡реНрдпрд╛рдХрд░рдгрд┐рдХ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд░реВрдк рдореЗрдВ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИ, рдЕрд░реНрдерд╛рддреНред рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рдХрд╛рд░ред рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рддреАрдХреЛрдВ рдХреЛ рдкреНрд░рдХрд╛рд░ рдХреЗ рд░реВрдк рдореЗрдВ рд╕реЛрдЪрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдФрд░ рдирд┐рдпрдо рдлрд┐рд░ рдкреНрд░рдХрд╛рд░ рдХреЗ рдмреАрдЪ рдкрджрд╛рдиреБрдХреНрд░рдо рд╕рдВрдмрдВрдз рдХреЛ рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВред рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рд╣реНрди рдЬрдЯрд┐рд▓ рдкреНрд░рдХрд╛рд░реЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ рдХрд╛рд░реНрдп рдХрд░рддреЗ рд╣реИрдВ, рдФрд░ рдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХ рдкрд░рдорд╛рдгреБ рдкреНрд░рдХрд╛рд░реЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ рдХрд╛рд░реНрдп рдХрд░рддреЗ рд╣реИрдВ рдЬрд┐рдирдореЗрдВ рдЙрдкрдкреНрд░рдХрд╛рд░ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВред рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреА рдпрд╣ рд╡реНрдпрд╛рдЦреНрдпрд╛ рдмрд╣реБрдд рд▓реЛрдХрдкреНрд░рд┐рдп рд╣реИ рдФрд░ рдЕрдХреНрд╕рд░ рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рднрд╛рд╖рд╛ рдЕрдиреБрд╡рд╛рджрдХ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд▓реЗрдХрд┐рди, рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд╡рд░реНрдЧ рдХреА рд╕реНрдерд╛рдкрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдЪреЙрдореНрд╕реНрдХреА рдХрд╛ рдорддрд▓рдм рдХреБрдЫ рдФрд░ рдерд╛ред

рдЗрд╕ рддрдереНрдп рдХреЗ рдХрд╛рд░рдг рдХрд┐ рдХреЗрдПрд╕-рд╡реНрдпрд╛рдХрд░рдг рдЬреЗрдирд░реЗрдЯрд┐рд╡ рд╣реИ, рдпрд╣ рдПрдХ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рдХреЛ рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо (рд╕рдЦреНрддреА рд╕реЗ рдмреЛрд▓рдирд╛, рдПрдХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдирд╣реАрдВ, рдмрд▓реНрдХрд┐ рдкрдерд░реА рдПрдХ рдмрд╣реБрднрд┐рдиреНрдирд░реВрдкреА рдПрд▓реНрдЧреЛрд░рд┐рджрдо) рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред рдпрд╣рд╛рдВ рд╕реНрдкреИрдирд┐рдВрдЧ рдХреЛ рди рдХреЗрд╡рд▓ рдореМрдЬреВрджрд╛ рдЪреЗрди рдХреЗ рджрд╛рдПрдВ рдпрд╛ рдмрд╛рдПрдВ рдЪреЗрди рдХреЛ рдЬреЛрдбрд╝рдХрд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдореМрдЬреВрджрд╛ рдПрдХ рдХреЗ рдЕрдВрджрд░ рдЪреЗрди рдХреЛ рдбрд╛рд▓рдХрд░ рднреАред рд╕рдореНрдорд┐рд▓рди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдореЗрдВ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХ рдХреЛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдХреЗ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреЛ рдХреБрдЫ рдирд┐рдпрдо рдХреЗ рджрд╛рдИрдВ рдУрд░ рд╣реИ, рдЬрд┐рд╕рдХреЗ рдмрд╛рдИрдВ рдУрд░ рдпрд╣ nonterminal рд╕реНрдерд┐рдд рд╣реИред рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ aabBBACbbb рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ aabBBaaaCbbb рд╢реНрд░реГрдВрдЦрд▓рд╛ рдореЗрдВ рдкрд░рд┐рд╡рд░реНрддрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдпрджрд┐ рдХреЛрдИ рдирд┐рдпрдо A --> aaa aabBBaaaCbbb рд╣реИред рдЗрд╕ рдЕрд░реНрде рдореЗрдВ, рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреБрдЫ рдХрд┐рдирд╛рд░реЗ рд╕реЗ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рдирд╣реАрдВ рдмрдврд╝рддреА рд╣реИ, рд▓реЗрдХрд┐рди рдЕрдВрджрд░ рд╕реЗ рдХрд┐рд╕реА рддрд░рд╣ "рд╕реВрдЬ" рдЬрд╛рддреА рд╣реИред

рд╣рдо рдЙрджрд╛рд╣рд░рдг рдХреЗ рд╕рд╛рде рдХрд╣реА рдЧрдИ рдмрд╛рддреЛрдВ рдХреЛ рд╕реНрдкрд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВред рднрд╛рд╖рд╛ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ L = {a^nb^n | n = 1, 2, 3,...} L = {a^nb^n | n = 1, 2, 3,...} ред рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ a^n рдХрд╛ рдорддрд▓рдм рд╣реИ рдЪрд░рд┐рддреНрд░ рдХреЛ рдмрд╛рд░ рдмрд╛рд░ рджреЛрд╣рд░рд╛рдирд╛ a ред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рднрд╛рд╖рд╛ L рдореЗрдВ рдлреЙрд░реНрдо ab, aabb, aaabbb , рдЖрджрд┐ рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╢рд╛рдорд┐рд▓ рд╣реИред рдЗрд╕ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВред рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдзреНрдпрд╛рди рджреЗрдВ рдХрд┐ рднрд╛рд╖рд╛ рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╕реЗ рдЖрдк рдкреНрд░рддреАрдХ рдХреЛ рдмрд╛рдИрдВ рдУрд░ рдкрд╣рд▓реА рд╕реЗ рдмрд╛рдИрдВ рдУрд░ рдФрд░ рдкреНрд░рддреАрдХ b рдХреЛ рджрд╛рдИрдВ рдУрд░ рд╕рдВрд▓рдЧреНрди рдХрд░рдХреЗ рдПрдХ рдФрд░ рднрд╛рд╖рд╛ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдХрд╣рддреЗ рд╣реИрдВ, рдЕрдЧрд░ рдПрдХ aabb рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИ, рддреЛ рд╣рдо рдЗрд╕реЗ рд╕реЗ aaabbb рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдпрд╣ рдЯрд┐рдкреНрдкрдгреА рдкреАрдврд╝реА рдХрд╛ рдирд┐рдпрдо S --> aSb (рдпрд╣ рдпрд╛рдж S --> aSb рдХрд┐ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдПрдВ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ S --> aSb рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреА рд╣реИрдВ рдФрд░ рдЗрд╕рд▓рд┐рдП, рдЗрд╕ рдкреНрд░рддреАрдХ рджреНрд╡рд╛рд░рд╛ рдирд┐рд░реВрдкрд┐рдд рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ)ред рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХрд╛ рдПрдХ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓рд╛ рднреА рд╣реИ рдЬрд┐рд╕реЗ рдЫреЛрдЯреЗ рд▓реЛрдЧреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ - рдпрд╣ ab рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИред рд╣рдо рдЕрдкрдиреА рдкреАрдврд╝реА рдХреЗ рд▓рд┐рдП рдирд┐рдпрдо S --> ab рдкрд░рд┐рдЪрдп рджреЗрддреЗ рд╣реИрдВред рддреЛ, рднрд╛рд╖рд╛ рдХреЗ рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдирд┐рдпрдо рд╣реИрдВ: S --> aSb рдФрд░ S --> ab ред рдЖрдЗрдП рд╣рдо рдЪреЗрди рдЬреЗрдирд░реЗрд╢рди S => aSb => aaSbb => aaabbb : S => aSb => aaSbb => aaabbb рд╕реЗрдЯ рдХрд░реЗрдВред

рдкреНрд░рддрд┐рдмрдВрдз рдХреЗ рдмрд┐рдирд╛ рдкреНрд░рд╕рдВрдЧ-рд╕рдВрд╡реЗрджрдирд╢реАрд▓ рд╡реНрдпрд╛рдХрд░рдг рдФрд░ рд╡реНрдпрд╛рдХрд░рдг

рд╕реАрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ, рдкреАрдврд╝реА рдХреЗ рдирд┐рдпрдо рдХреЗ рдмрд╛рдПрдВ рд╣рд┐рд╕реНрд╕реЗ рдореЗрдВ рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рд╣реНрди рдХреЛ рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдореЗрдВ рдХрд╣реАрдВ рднреА рджрд╛рдПрдВ рд╣рд┐рд╕реНрд╕реЗ рдореЗрдВ рдмрджрд▓рд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ, рдЬрд╣рд╛рдВ рднреА рдпрд╣ рдкреНрд░рддреАрдХ рд╣реЛрддрд╛ рд╣реИред рд▓реЗрдХрд┐рди рдХрднреА-рдХрднреА рдореИрдВ рдЙрди рд╕рдВрджрд░реНрднреЛрдВ рдХреЗ рдмреАрдЪ рдЕрдВрддрд░ рдХрд░рдирд╛ рдЪрд╛рд╣реВрдВрдЧрд╛ рдЬрд┐рдирдореЗрдВ рдкреНрд░рддреАрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдореЗрдВ рд╣реИ, рдФрд░ рдХреБрдЫ рдорд╛рдорд▓реЛрдВ рдореЗрдВ, рдкреНрд░рддреАрдХ рдХреЛ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддреЗ рд╣реИрдВ, рджреВрд╕рд░реЛрдВ рдореЗрдВ - рдирд╣реАрдВред рд╕реАрдУрдкреА рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдо рдЗрд╕рдХреА рдЕрдиреБрдорддрд┐ рдирд╣реАрдВ рджреЗрддреЗ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП, рдРрд╕реЗ рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП, рдПрдХ рд╡рд┐рд╢реЗрд╖ рдкреНрд░рдХрд╛рд░ рдХреЗ рдирд┐рдпрдо рдЖрд╡рд╢реНрдпрдХ рд╣реИрдВред

рд╕рдВрджрд░реНрдн-рд╕рдВрд╡реЗрджреА рд╡реНрдпрд╛рдХрд░рдг рдореЗрдВ рдлреЙрд░реНрдо w' A w'' --> w' alpha w'' рдирд┐рдпрдо рд╣реИрдВ w' A w'' --> w' alpha w'' ред рдпрд╣рд╛рдБ w' рдФрд░ w'' рдЪреЗрди рд╣реИрдВ (рдЦрд╛рд▓реА рд╣реЛ рд╕рдХрддреА рд╣реИрдВ) рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдЯрд░реНрдорд┐рдирд▓ рдФрд░ рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рд╕рд┐рдВрдмрд▓ рд╕реЗ рдмрдиреА рд╣реЛрддреА рд╣реИрдВ, alpha рдЙрд╕реА рд╕рд┐рдореНрдмрд▓ рдХреА рдПрдХ рдиреЙрдирдо рдЦрд╛рд▓реА рдЪреЗрди рд╣реИред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдиреЙрдирдЯрд░реНрдорд┐рдирд▓ рдкреНрд░рддреАрдХ A рдХреЛ рдЪреЗрди w' рдХреЗ рд╕рдВрджрд░реНрдн рдореЗрдВ рдЪреЗрди alpha рджреНрд╡рд╛рд░рд╛ w' рдФрд░ w'' рд╕реЗ рдмрджрд▓ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

KZ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд╕рд╛рде рд╕рдВрдмрджреНрдз рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдПрдХ рдФрд░ рд╡рд░реНрдЧ рд╣реИ - рдЧреИрд░-рд▓рдШреБ рд╡реНрдпрд╛рдХрд░рдгред рдРрд╕реЗ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ рдПрдХ рд╢рд░реНрдд рдХреЛ рдкреВрд░рд╛ рдХрд░рдирд╛ рд╣реЛрдЧрд╛: рджрд╛рдИрдВ рдУрд░ рдХреА рд▓рдВрдмрд╛рдИ рдмрд╛рдИрдВ рдУрд░ рдХреА рд▓рдВрдмрд╛рдИ рд╕реЗ рдХрдо рдирд╣реАрдВ рд╣реЛрдиреА рдЪрд╛рд╣рд┐рдПред рдЪреВрдВрдХрд┐ KZ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдирд┐рдпрдореЛрдВ рдореЗрдВ alpha рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рдЧреИрд░-рд░рд┐рдХреНрдд рд╣реЛрдиреЗ рдХреА рдПрдХ рд╢рд░реНрдд рд╣реИ, рдЗрд╕рд▓рд┐рдП рдпреЗ рд╡реНрдпрд╛рдХрд░рдг рдЧреИрд░-рд▓рдШреБ рднреА рд╣реЛрддреЗ рд╣реИрдВред рд▓реЗрдХрд┐рди, рд╕рдмрд╕реЗ рджрд┐рд▓рдЪрд╕реНрдк рдмрд╛рдд рдпрд╣ рд╣реИ рдХрд┐ рдПрдХ рдЧреИрд░-рд▓рдШреБ рд╡реНрдпрд╛рдХрд░рдг рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдкреНрд░рддреНрдпреЗрдХ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП, рдПрдХ рдХреЗрдЬреЗрдб рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдЖрд╡рд┐рд╖реНрдХрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдЬреЛ рд╕рдорд╛рди рднрд╛рд╖рд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИред рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдХреЗрдЬ-рд╡реНрдпрд╛рдХрд░рдг рдФрд░ рдЧреИрд░-рд▓рдШреБ рд╡реНрдпрд╛рдХрд░рдг рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рднрд╛рд╖рд╛рдУрдВ рдХреЗ рд╡рд░реНрдЧ рдореЗрд▓ рдЦрд╛рддреЗ рд╣реИрдВред

рдЧреИрд░-рд▓рдШреБ рд╡реНрдпрд╛рдХрд░рдг рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рднрд╛рд╖рд╛рдУрдВ рдХреЗ рдПрдХ рд╡рд░реНрдЧ рдХреЛ рдПрдХрд▓ рдХрд░рдирд╛ рдХреНрдпреЛрдВ рдЖрд╡рд╢реНрдпрдХ рд╣реИ? рддрдереНрдп рдпрд╣ рд╣реИ рдХрд┐ рдРрд╕реА рднрд╛рд╖рд╛рдУрдВ рдХреЗ рд▓рд┐рдП, рдЖрдк рдПрдХ рдорд╛рдиреНрдпрддрд╛ рдорд╢реАрди рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рд╡реНрдпрд╛рдХрд░рдг рдХреЛ рдкрд╣рдЪрд╛рдирдирд╛ рдирд┐рдореНрдирд╛рдиреБрд╕рд╛рд░ рдирд┐рд░реНрдорд┐рдд рд╣реИ: рдПрдХ рдЗрдирдкреБрдЯ рдХреЗ рд░реВрдк рдореЗрдВ рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рдирд╛, рдХреНрд░рдордмрджреНрдз рд░реВрдк рд╕реЗ рдЙрддреНрдкрд╛рджреЛрдВ рдХреЛ рдмрдирд╛рдирд╛, рдЙрдиреНрд╣реЗрдВ рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рд╕рд╛рде рдХреНрд░рдордмрджреНрдз рдХрд░рдирд╛ред рдХреНрдпреЛрдВрдХрд┐ рд╡реНрдпрд╛рдХрд░рдг рдЫреЛрдЯрд╛ рдирд╣реАрдВ рд╣реИ, рддреЛ рдЗрд╕ рддрд░рд╣ рдХреЗ рдЙрддреНрдкрд╛рджреЛрдВ рдХрд╛ рдПрдХ рд╕реАрдорд┐рдд рд╕реЗрдЯ рд╣реЛрдЧрд╛, рдФрд░ рдпрджрд┐ рдЙрдирдХреЗ рдмреАрдЪ рджрд┐рдП рдЧрдП рдЗрдирдкреБрдЯ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд╕рд╛рде рдХреЛрдИ рдореЗрд▓ рдирд╣реАрдВ рдерд╛, рддреЛ "рдирд╣реАрдВред"

рдирд┐рдпрдореЛрдВ рдХреЗ рдкреНрд░рдХрд╛рд░ рдкрд░ рдкреНрд░рддрд┐рдмрдВрдз рдХреЗ рдмрд┐рдирд╛ рдПрдХ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рд▓рд┐рдП, рд╕рд╛рдорд╛рдиреНрдп рдорд╛рдорд▓реЗ рдореЗрдВ рдРрд╕реА рдорд╛рдиреНрдпрддрд╛ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреАрдврд╝реА рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдПрдХ рд╕рдордЭреМрддреЗ, рд╕реВрдЬрди рдФрд░ рдЕрдкрд╕реНрдлреАрддрд┐ рдХреА рддрд░рд╣ рд╡реНрдпрд╡рд╣рд╛рд░ рдХрд░ рд╕рдХрддреА рд╣реИред рдЗрд╕рд▓рд┐рдП, рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рджреНрд╡рд╛рд░рд╛ рдЙрддреНрдкрдиреНрди рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рд▓рдВрдмрд╛рдИ рдХреА рдЙрдкрд▓рдмреНрдзрд┐ рдпрд╣ рдЧрд╛рд░рдВрдЯреА рдирд╣реАрдВ рджреЗрддреА рд╣реИ рдХрд┐ рдЗрдирдкреБрдЯ рдХреЛ рдЦрд┐рд▓рд╛рдИ рдЧрдИ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреАрдврд╝реА рдХреА рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдореЗрдВ рдЖрдЧреЗ рдкреНрд░рд╛рдкреНрдд рдирд╣реАрдВ рд╣реЛрдЧреАред

рдХреНрдпрд╛ рдХреЗрдЬреА рднрд╛рд╖рд╛рдПрдВ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЕрдкрдиреА рдХрдХреНрд╖рд╛ рдмрдирд╛ рд░рд╣реА рд╣реИрдВ? рдХреНрдпрд╛ рдпрд╣ рд╡рд░реНрдЧ рдХреЗрдПрд╕ рднрд╛рд╖рд╛рдУрдВ рдХреЗ рд╡рд░реНрдЧ рдХреЗ рд╕рд╛рде рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИ? рджреВрд╕рд░реЗ рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдХреНрдпрд╛ рдХреЛрдИ рдРрд╕реА рднрд╛рд╖рд╛ рд╣реИ рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП рдпрд╣ рдЧрд╛рд░рдВрдЯреА рд╣реИ рдХрд┐ рдЖрдк рдПрдХ рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдирд╣реАрдВ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рд▓реЗрдХрд┐рди рдХреНрдпрд╛ рдЖрдк рдПрдХ KZ рд╡реНрдпрд╛рдХрд░рдг рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ? рдЙрддреНрддрд░: рд╣рд╛рдВ, рдРрд╕реА рднрд╛рд╖рд╛рдПрдВ рд╣реИрдВред рдРрд╕реА рднрд╛рд╖рд╛ рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рдирд┐рдореНрди рднрд╛рд╖рд╛ L = {ww} ред рдЗрд╕ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдПрдБ рдХреБрдЫ рд╡рд░реНрдгрдорд╛рд▓рд╛ рдХреЗ рдКрдкрд░ рджреЛ рджреЛрд╣рд░рд╛рдИ рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рд╕реЗ рдмрдиреА рд╣реИрдВред рдпрд╣ рд╕рд╛рдмрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдХрд┐ рдЗрд╕ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдХреЗрдПрд╕ рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдЕрд╕рдВрднрд╡ рд╣реИ, рд╣рдо рдпрд╣рд╛рдВ рдирд╣реАрдВ рд╣реЛрдВрдЧреЗред KZ рд╡реНрдпрд╛рдХрд░рдг рдХреЛ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╡рд┐рдЪрд╛рд░ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдкрд╣рд▓реЗ рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ w рдФрд░ рдПрдХ рдЧреИрд░-рдкреНрд░рддреАрдХ рдЪрд┐рд╣реНрди рдЙрддреНрдкрдиреНрди рдХрд░реЗрдВ, A рдХрд╣реЛ, рдЕрд░реНрдерд╛рддреНред рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ Aw ред рдлрд┐рд░ рд╢реНрд░реГрдВрдЦрд▓рд╛ A рдорд╛рдзреНрдпрдо рд╕реЗ рд╡рд░реНрдг A рдЖрдЧреЗ w , рдЗрд╕ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рд╡рд░реНрдгреЛрдВ рдХреА рдкреНрд░рддрд┐рд▓рд┐рдкрд┐ рдмрдирд╛рдХрд░ рд░рд╛рд╕реНрддреЗ рдореЗрдВ рд▓реЗ рдЬрд╛рдПрдВ рдФрд░ рдлрд┐рд░ рдЗрди рд╡рд░реНрдгреЛрдВ рдХреЛ рджрд╛рдИрдВ рдУрд░ рд▓реЗ рдЬрд╛рдПрдВред рдиреАрдЪреЗ рджрд┐рдП рдЧрдП рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рдЗрд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛ред

рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рд╡реНрдпрд╛рдХрд░рдг рдирд┐рд░реНрджрд┐рд╖реНрдЯ рдХрд░рдиреЗ рдХреЗ рдПрдХ рдЙрджрд╛рд╣рд░рдг рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ L = {a^n^2 | n = 1, 2, 3, ...} L = {a^n^2 | n = 1, 2, 3, ...} ред рдЗрд╕ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛рдУрдВ рдореЗрдВ рдЕрдХреНрд╖рд░ a , рдФрд░ рдЗрди рд╡рд░реНрдгреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдПрдХ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рд╡рд░реНрдЧ рд╣реИ: 1, 4, 9, 25, рдЖрджрд┐ред рд╣рдо рдкреНрд░рддрд┐рдмрдВрдзреЛрдВ рдХреЗ рдмрд┐рдирд╛ рдЗрд╕ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдПрдХ рд╡реНрдпрд╛рдХрд░рдг рджреЗрдВрдЧреЗред рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкреАрдврд╝реА рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЪрд░рдгреЛрдВ рд╕реЗ рдорд┐рд▓рдХрд░ рдмрдиреЗрдЧреА:
  1. рдХреБрдЫ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд╕рдВрдЦреНрдпрд╛ n рд▓рд┐рдП n рд╡рд░реНрдгреЛрдВ рдХреА рдкреАрдврд╝реАред
  2. рд╡рд░реНрдгреЛрдВ рдХреА рдЗрд╕ рд╕рдВрдЦреНрдпрд╛ рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрдХрд░ n^2 рд╡рд░реНрдгред
  3. рдЗрди рд╡рд░реНрдгреЛрдВ рдХреЛ рд╡рд░реНрдгреЛрдВ рдореЗрдВ рдмрджрд▓реЗрдВ a ред

рдкрд╣рд▓реЗ рдЪрд░рдг рдХреЛ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдирд┐рдпрдо рдЬреЛрдбрд╝реЗрдВ
S --> LS'R
S' --> AS'B
S' --> AB

рдкрд╣рд▓рд╛ рдирд┐рдпрдо рд╕реАрдорд╛рдВрдХрд┐рдд L рдФрд░ R рдореЗрдВ рдЙрддреНрдкрдиреНрди рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ рд▓рдкреЗрдЯрдирд╛ рд╣реИ R рд╣рдореЗрдВ рддреАрд╕рд░реЗ рдЪрд░рдг рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдХреЗ рд▓рд┐рдП рднрд╡рд┐рд╖реНрдп рдореЗрдВ рдЙрдирдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрдЧреАред рд╢реЗрд╖ рджреЛ рдирд┐рдпрдо рдХреЗрд╡рд▓ рдлреЙрд░реНрдо AA...ABB...B рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдВ A рдФрд░ B рдЕрдХреНрд╖рд░реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдореЗрд▓ рдЦрд╛рддреА рд╣реИред

рдЕрдм рдЖрдкрдХреЛ рд╕реНрдЯреНрд░рд┐рдВрдЧ AA...ABB...B рдкрд░ рдЖрдзрд╛рд░рд┐рдд n^2 рд╡рд░реНрдг рдмрдирд╛рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ AA...ABB...B рдпрд╣ рдПрдХ рд╕рд░рд▓ рдЪрд╛рд▓ рдХреЗ рд▓рд┐рдП рдмрдирд╛рддрд╛ рд╣реИред рд╡рд░реНрдг A рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рд╕рдВрдХреНрд░рдордг рдкрд░, рд╡рд░реНрдг B рдмрд╛рдИрдВ рдУрд░ рд▓реЗ рдЬрд╛рдПрдВ рдФрд░ A рдФрд░ рд╡рд░реНрдг C рдЙрддреНрдкрдиреНрди рдХрд░реЗрдВ C рд╕реА рдЕрдХреНрд╖рд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдЪрд░рд┐рддреНрд░ A рд╕реНрд╡рддрдВрддреНрд░ рд░реВрдк рд╕реЗ рджрд╛рдИрдВ рдУрд░, рдФрд░ рдЪрд░рд┐рддреНрд░ B рдмрд╛рдИрдВ рдУрд░ рд╕реЗ рдЧреБрдЬрд░ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕ рдЪрд░рдг рдХреЗ рдирд┐рдпрдо рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВ:
AB --> BAC
AC --> CA
CB --> BC
рдЬрдм B рд╕рднреА рд╡рд░реНрдг A рдХреЗ рд╡рд░реНрдгреЛрдВ рдХреЛ рдкрд╛рд░ рдХрд░рддреЗ рд╣реБрдП, рдмрд╛рдПрдБ рдХрд┐рдирд╛рд░реЗ рдкрд░ рдкрд╣реБрдБрдЪрддреЗ рд╣реИрдВ, C рдХреЗ рд╡рд░реНрдг рдмрд┐рд▓реНрдХреБрд▓ n^2 ред

рдЕрдм рд╣рдореЗрдВ рдЕрдкрдиреЗ рдЖрдк рдХреЛ L , A , B рдФрд░ R рдЕрдХреНрд╖рд░ рд╕реЗ рдореБрдХреНрдд рдХрд░рдирд╛ рд╣реЛрдЧрд╛ рдФрд░ рд╡рд░реНрдг C рдХреЛ рд╡рд░реНрдг a рдмрджрд▓рдирд╛ рд╣реЛрдЧрд╛ред рдРрд╕рд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдкреНрд░рддреАрдХ B рд╕рддреНрдпрд╛рдирд╛рд╢ рдХрд░реЗрдВ рдХреНрдпреЛрдВрдХрд┐ рдпрд╣ рдмрд╛рдПрдВ рдХрд┐рдирд╛рд░реЗ рд╕реЗ рдЧреБрдЬрд░рддрд╛ рд╣реИ, рдЕрд░реНрдерд╛рддред рдЪрд░рд┐рддреНрд░ L рддрджрдиреБрд╕рд╛рд░, рд╣рдо рджрд╛рд╣рд┐рдиреЗ рдХрд┐рдирд╛рд░реЗ рдкрд░ рдкреНрд░рддреАрдХ A рд╕рд╛рде рдХрд╛рд░реНрдп рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕ рддрд░рд╣ рдХреА рд░рдгрдиреАрддрд┐ рдХреЛ рд▓рд╛рдЧреВ рдХрд░рддреЗ рд╕рдордп, рдлреЙрд░реНрдо LCC....CR рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдмрдиреА рд░рд╣реЗрдЧреАред L рдФрд░ R рдХреЗ рдкреНрд░рддреАрдХреЛрдВ рд╕реЗ рдЫреБрдЯрдХрд╛рд░рд╛ рдкрд╛рдиреЗ рдХреЗ рд▓рд┐рдП, рд╣рдо рдмрд╛рдПрдВ рд╕реАрдордХ рдХреЛ рджрд╛рдИрдВ рдУрд░ рд▓реЗ рдЬрд╛рдирд╛ рд╢реБрд░реВ рдХрд░рддреЗ рд╣реИрдВ рдФрд░ рдЬрдм рд╡реЗ рд╕реНрдкрд░реНрд╢ рдХрд░рддреЗ рд╣реИрдВ, рддреЛ рд╣рдо рдЗрди рдкреНрд░рддреАрдХреЛрдВ рдХреЛ рдирд╖реНрдЯ рдХрд░ рджреЗрддреЗ рд╣реИрдВред рдЙрд╕реА рд╕рдордп, рдкреНрд░рддреАрдХреЛрдВ L рд╕реЗ рдЧреБрдЬрд░рдиреЗ рдкрд░, рд╣рдо рдЙрдиреНрд╣реЗрдВ рдкреНрд░рддреАрдХреЛрдВ a рдореЗрдВ рдмрджрд▓рддреЗ рд╣реИрдВредрдЗрд╕ рдкреАрдврд╝реА рдХреЗ рдЪрд░рдг рдХреЗ рдирд┐рдпрдо рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВред
LB --> L
AR --> R
LC --> aL
LR --> epsilon
рдпрд╣рд╛рдБ epsilonрдПрдХ рдЦрд╛рд▓реА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИред

рдЖрдЗрдП рдЪреЗрди рдЬреЗрдирд░реЗрд╢рди рдХрд╛ рдПрдХ рдЙрджрд╛рд╣рд░рдг рджреЗрдВ aaaa:S => LS'R => LAS'BR => LAABBR => LABACBR => LBACACBR => LACACBR => LACABCR => LACBACCR => LABCACCR => LBACCACCR => LACCACCR => LCACACCR => LCCAACCR => LCCACACR => LCCACCAR => LCCACCR => LCCCACR => LCCCCAR => LCCCCR => aLCCCR => aaLCCR => aaaLCR => aaaaLR => aaaa

рдирд┐рд╖реНрдХрд░реНрд╖


рд▓реЗрдЦрдХ рдХреЛ рдЙрдореНрдореАрдж рд╣реИ рдХрд┐ рдмрд╛рдж рдХреЗ рдЙрджрд╛рд╣рд░рдг рдиреЗ рдкрд╛рдардХ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рджрд┐рдЦрд╛рдпрд╛ рдХрд┐ рдЪреЙрдореНрд╕реНрдХреА рдХрд╛ рдЬреЗрдиреЗрд░рд┐рдХ рд╡реНрдпрд╛рдХрд░рдг рдПрдХ рдкреНрд░рдХрд╛рд░ рдХрд╛ рдХрд╛рд░реНрдпрдХреНрд░рдо рд╣реИ рдЬрд┐рд╕реЗ рдЗрд╕ рд╡реНрдпрд╛рдХрд░рдг рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдФрдкрдЪрд╛рд░рд┐рдХ рднрд╛рд╖рд╛ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛ рддреИрдпрд╛рд░ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдХрд╛рд░реНрдпрдХреНрд░рдо рдЕрд╕рд╛рдЗрдирдореЗрдВрдЯ рдХреА рднрд╛рд╖рд╛ рдХреНрд░рдорд╢рдГ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╣реИ, рдФрд░ "рдкреАрдврд╝реА рдХрд╛рд░реНрдпрдХреНрд░рдореЛрдВ" (рд╡реНрдпрд╛рдХрд░рдг) рдХреЗ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди рдХреЗ рд▓рд┐рдП рдЙрдиреНрд╣реЗрдВ рд▓рд┐рдЦрдиреЗ рдореЗрдВ рдЕрдиреБрднрд╡ рдФрд░ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рдЖрджрдд рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИред

рдЪреЙрдореНрд╕реНрдХреА рдХреЗ рдЙрддреНрдкрдиреНрди рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рд╡реНрдпрд╛рдХрд░рдг рдЧрд╣рд░реЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИрдВ рдФрд░ рдпрд╣ рдЖрд╢реНрдЪрд░реНрдп рдХреА рдмрд╛рдд рдирд╣реАрдВ рд╣реИ рдХрд┐ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдХреЗ рд╡реНрдпрд╛рдХрд░рдг рдХреЗ рдХреБрдЫ рдЙрдкрд╡рд░реНрдЧ рди рдХреЗрд╡рд▓ рдПрдХ рдирд┐рд╢реНрдЪрд┐рдд рдкреНрд░рдХрд╛рд░ рдХреА рднрд╛рд╖рд╛ рдЙрддреНрдкрдиреНрди рдХрд░рддреЗ рд╣реИрдВ, рдмрд▓реНрдХрд┐ рдЧрдгрд┐рддреАрдп рднрд╛рд╖рд╛ рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рдЕрдиреНрдп рд╡рд░реНрдЧреЛрдВ рдХреЗ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХреЗ рд╕рд╛рде рднреА рдЕрдВрддрд░ рдХрд░рддреЗ рд╣реИрдВред рдЗрд╕ рддрд░рд╣ рдХреЗ рд╡рд░реНрдЧреЛрдВ рдореЗрдВ рд╢реНрд░реЗрдгреАрдмрджреНрдз рд╡реНрдпрд╛рдХрд░рдг рдФрд░ рд╕реНрд╡рдЪрд╛рд▓рд┐рддрддрд╛ рдХреЛ рдорд╛рдиреНрдпрддрд╛ рджреЗрдирд╛ рд╢рд╛рдорд┐рд▓ рд╣реИред рдмреЗрд╢рдХ, рдЗрд╕ рдкрд╛рда рдореЗрдВ рдХреЗрд╡рд▓ рдореВрд▓ рд╡рд┐рдЪрд╛рд░реЛрдВ рдХрд╛ рд╡рд░реНрдгрди рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рд╕рд╛рдорд╛рдиреНрдп рд╡реНрдпрд╛рдХрд░рдг рдХрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╡реНрдпрд╛рдкрдХ рдФрд░ рдЧрд╣рд░рд╛ рд╣реИ рддрд╛рдХрд┐ рдЗрд╕реЗ рдПрдХ рд▓реЗрдЦ рдХреЗ рдврд╛рдВрдЪреЗ рдореЗрдВ рд╡рд░реНрдгрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХреЗред

Source: https://habr.com/ru/post/In177701/


All Articles