|
Conference publicationsSynthesis of the intellectual tests by means of formal output systemVologda Processes of construction of the tests (especially tests individually focused and with the account of cognitive features) - rather labour-consuming and till now poorly automated task. The researches of the authors show, that the modern software can help with the decision of the specified problem. The offered method of the formal description of processes of generation of the tests by means of initial calculations E. Post, allows to form structure and contents of applied test system, defining the linguistic contents of the concrete tests with the help local context-free grammars. The essence of the offered approach is shown on an example of construction of mathematical model describing process of generation of the tests. |
