Automates modulaires

L'algorithme de Berry-Sethi pour la compilation des expressions régulières en automates est efficace et présenté de manière élégante. Ce rapport fournit une implémentation de cette technique de compilation dans le langage de programmation PidginML avec l'innovation de compiler des expressions régulières que nous avons étendues. Son élégance tient dans son style de programmation purement fonctionnel et son respect de la complexité théorique de l'algorithme. La propriété de localité des automates obtenus est à la base de la modularité d'automates dans la boîte à outils de linguistique computationnelle Zen2. Ce rapport comporte également une justification formelle de la bonne formation des automates compilés, par un développement dans l'assistant de preuves Coq. Il discute également de l'adaptation de la boîte à outils Zen2 au problème classique de recherche de chaînes de caractères dans un texte (commande grep Unix

Simulating Eilenberg Machines with a Reactive Engine: Formal Specification, Proof and Program Extraction.

Eilenberg machines have been introduced in 1974 in the field of formal language theory. They are finite automata for which the alphabet is interpreted by mathematical relations over an abstract set. They generalize many finite state machines. We consider in the present work a class of Eilenberg machines for which we provide an executable complete simulator. This program is described using the Coq specification language. The correction of the algorithm is also proved formally and mechanically verified using the Coq proof assistant. The Coq extraction code technology allows to translate the specification into executable OCaml code. The algorithm and proofs are inspired from the reactive engine of Gérard Huet

PSYCHOLOGICAL FEATURES OF REPRESENTATIVES OF THE CHECHEN YOUTH PROFESSING ISLAM AND EXPERIENCING MYTHOLOGICAL FEARS

The article described the study of the relevance of the role and place of religious contents among young people in the postconflict areas of the South of Russia, the rate of experiences of mythological fear had been explored with the help of the survey, as well as individual psychological characteristics of subjects had been studied by methods of Eysenck, Schmieschek, J. Rotter and Taylor. Those representatives of the surveyed youth sample experiencing a high level of mythological fear could fall into the danger zone of initiation in the group of non-traditional religious sects, as well as come under extremists’ influence, since manipulation of consciousness and human behavior, depending on individual psychological characteristics and by using of mythological content, such as fear of possession by jinni, is most effective. The study was attended by representatives of Islam at the age of 19-21, divided by gender: 100 young men and 100 girls. The study was aimed at identifying individual personality characteristics of temperament, character accentuations, locus of control, the level of personal anxiety and the results of a content analysis of the survey done by the author of the article were identified in accordance with five scales. Results of the study revealed that about 80% of subjects experiencing a high level of mythological fears had the same peculiar correlation indices. In connection with the results of research, we had worked out and suggested a complex of psycho-pedagogical support consisting of four modules for the purpose of education, preventive and corrective activities with young people experiencing a high level of mythological fear (fear of possession by jinni)

Finite Eilenberg Machines

Eilenberg machines define a general computational model. They are well suited to the simulation of problems specified using finite state formalisms such as formal languages and automata theory. This paper introduces a subclass of them called finite Eilenberg machines. We give a formal description of complete and efficient algorithms which permit the simulation of such machines. We show that our finiteness restriction ensures a correct behavior of the simulation. Interpretations of this restriction are studied for the particular cases of non-deterministic automata (NFA) and rational transducers, leading to applications to computational linguistics. The given implementation provides a generic simulation procedure for any problem encoded as a composition of finite Eilenberg machines

DA LEITURA DE UMA HISTÓRIA À LEITURA DE UMA ESCRITA

Este artigo apresenta o trabalho de pesquisa realizado com alunos de 10 a 12 anos confrontados a uma obra de literatura infanto-juvenil, em uma “lição de leitura”. O desafio essencial da metodologia consiste em levar as crianças a perceberem que ler um texto não significa somente compreender o que diz (a história), mas também e, sobretudo a entender como o autor nos conta esta história e, portanto, se fazer perguntas sobre a escrita do texto. Este trabalho baseia-se nas opções teóricas, nas práticas e nas ferramentas desenvolvidas pelos pesquisadores da Associação Francesa pela Leitura. O software permite explorar melhor a escrita de um texto e compará-la com o funcionamento de outros textos. O software permite também aos alunos que sistematizem as aprendizagens realizadas na língua escrita graças a seu “exercitador”. A apresentação deste trabalho nos permite perguntar em quê tais práticas didáticas com crianças francesas podem nos esclarecer para um ensino do francês como língua estrangeira e também para o ensino do português escrito no Brasil para crianças surdas, como segunda língua.Palavras-chave: leitura, literatura, linguagem literária.Texto traduzido por: Liliane Mendonça e Lúcia Peixoto Cherem

Интегративные процессы как содержательно-процессуальное ядро метапроектного обучения

Integrative processes are one of the leading global trends of the development of modern education in modern educational theory and educational practice, comparable with informatization, humanization, and humanitarization. K. Yu. Kolesina (2013) describes them as “new paradigms of the educational process” and “one of the most promising innovative directions that can solve many problems of fragmentededucation”. Integrative processes are among the most promising directions of innovative activities in the field of pedagogical theory and educational practice. The educational field of integration is expanded. The above stated means not only the integration of the content, but also the integration of organizational forms, educational technologies, and work methods of learners. The concept of metaproject education, which focuses on the search for innovative ways and meansof harmonisation of strategic and tactical goals of modern education, gives a new impulse to the development of integrative processes in modern education, as well as the technology of project-based learning. The authors considered a metaproject approach to education as a systemic generalization, fusion of interconnected andinteracting types of integration (substantive, procedural, emotional-imaginative, etc.) aimed at achieving meta-subject results.Project-based learning has gained a considerable attention today. The proposed concept of metaproject education significantly expands the educational potential of project-based learning and creates conditions for active acquisition of socio-cultural experience. The paper discusses key aspects of mutual enrichment of integrative and metaproject education.Одной из ведущих мировых тенденций развития современного образования, сравниваемых с тенденциями информатизации, гуманизации, гуманитаризации, в современной педагогической теории и образовательной практике считаются интегративные процессы. Их относят к «парадигмам нового образовательного процесса», считают «одним из перспективнейших инновационных направлений, способных решать многие из проблем современного предметно-разобщенного образования» [7, с. 5]. Интегративные процессы относят к наиболее перспективным направлениям инновационной деятельности в области педагогической теории и образовательной практики. Расширяется образовательное поле интеграции. Речь идет не только об интеграции содержания, но и интеграции организационных форм, педагогических технологий, способов деятельности обучающихся.Новый импульс в развитии, с одной стороны, интегративных процессов в современном образовании, а с другой – в технологии проектного обучения, придает концепция метапроектного образования, ориентированного на поиск инновационных путей и средств гармонизации стратегических и тактических целей современного образования. С этих позиций метапроектный подход к образованию мы рассматриваем как системное обобщение, слияние взаимосвязанных и взаимодействующих видов интеграции (содержательной, процессуальной, эмоционально-образной и др.), ориентированных на достижение метапредметных результатов. Наряду с этим, большое внимание сегодня уделяется проектному обучению. Предлагаемая нами концепция метапроектного образования в значительной степени расширяет образовательный потенциал проектного обучения, создавая условия для активного освоения социокультурного опыта. Метапроектное обучение способно придать новый стимул к развитию, с одной стороны, интегративных процессов, а с другой, значительно усилить позиции технологии проектного обучения. Метапроектный подход к образованию рассматривается нами как системное обобщение, слияние взаимосвязанных видов интеграции, ориентированных на достижение метапредметных результатов. В данной статье рассматриваются ключевые аспекты взаимообогащения интегративного и метапроектного обучения

Психологические особенности переживания мифических страхов у молодежи традиционной исламской конфессии

This paper examines how young men and girls, who belong to the Islamic confession, experience mythological fears associated with the so-called “demonic possession”. The young people having a high level of mythological fears are at risk of the influence of non-traditional branches of Islam. The paper presents the empirical study of the correlation between the representations of demonic possession (“a jinn’s entering the body of a person”) in representatives of the Muslimconfession and their personal traits. For studying the representations of demonic possession the authors developed a special questionnaire consisting of 5 scales. The techniques for studying the respondents’ personal traits included the following: H. Eysenk’s techniquefor temperament assessing, Rotter’s locus of control scale, G. Shmishek’s questionnaire for assessing character accentuation, and J. Taylor’s anxiety questionnaire. The study involved 200 students of three universities of the Chechen Republic (100 young men and 100 girls).The empirical data of the study demonstrated the degree of the respondents’ religiosity, the level of their mythological fears, and the correlation with individual-psychological traits of the student’s personality. According to the research findings, the individual-psychological traits of personality influenced the level of mythological fears in adolescence. There was a correlation between the individual-psychological traits of personality and the degree of its susceptibility to the excessive mythologization of the religious content.The findings of the study of the youth sample showed psychological features of the perception of the phenomenon of “possession with a jinn”. The results of the study enabled to develop a comprehensive program of psychological and pedagogical support of students of higher educational institutions, secondary technical educational institutions, and specialized secondary schools. The program consistedof 4 modules and aimed at the educational and correctional work with students with a high level of mythological fears, as well as prevention of young people’s involvement in extremist and terrorist activities.В данной работе рассматривается переживание юношами и девушками, относящими себя к исламской конфессии, мифологических страхов, связанных с так называемой «демонической одержимостью». Представители юношеского возраста, испытывающие высокий уровень переживания мифологического страха, могут попадать в зону риска приобщения к нетрадиционным направлениям ислама. В статье нами представлено проведенное эмпирическое исследование связи между существующими у представителей мусульманской конфессии представлениями о возможности демонической одержимости (о «вселении джинна в тело человека»), установленными с помощью специально разработанной анкеты, состоящей из 5 шкал, и их личностными особенностями, диагностируемыми с помощью методики определения темперамента Г. Айзенка, теста локуса контроля Дж. Роттера, опросника по оценке акцентуаций характера Г. Шмишека, опросника тревожности Ж. Тейлора. В нашем исследовании приняли участие студенты трех вузов Чеченской Республики в количестве 200 человек (100 юношей и 100 девушек). Эмпирические данные исследования отражают степень религиозности молодежи, их уровень переживания мифологических страхов и взаимосвязь с индивидуально-психологическими особенностями личности студента. Выявлено, что религиозность и индивидуально-психологические особенности личности влияют на уровень переживания мифологических страхов в период юности. Также выявлены существование зависимости индивидуально-психологических особенностей личности и степень ее подверженности чрезмерной мифологизации религиозных контентов. Данные, полученные в ходе исследования молодежной выборки, выявили психологические особенности восприятия явления «одержимости джинном». Результаты исследования послужили основанием для разработки комплексной программы психолого-педагогического сопровождения учащихся высших, средних технических и средних специальных образовательных учреждений. Программа состоит из 4 модулей, ее целью является: просветительская, коррекционная деятельность с учащимися, испытывающими высокий уровень переживания мифологических страхов, а также профилактическая – с целью противодействия вовлечению молодых людей в экстремистскую и террористическую деятельность

Sur la concentration du polonium

Pas de Résumé disponibl