The description of contextual conditions of formal languages grammars with contextual arguments

In a class of grammars with contextual arguments the subclass of LL (1) K-grammars is allocated. The theorem of determinacy of a left-side conclusion for grammars of a class LL (1)K is proved. Also the theorem on the basis of which the analyzer for grammars of this class is under construction is proved. The considered grammar of LL (1)K is quite natural generalization of a class LL(1) - grammars. The used formalism of contextual arguments allows describing some contextual conditions.