scholarly journals Enhanced pushdown automaton for recognizing multi-syntax programming languages

2019 ◽  
Vol 1333 ◽  
pp. 032085
Author(s):  
A S Kuznetsov ◽  
R Y Tsarev ◽  
T N Yamskikh ◽  
A N Knyazkov ◽  
K Y Zhigalov ◽  
...  
2010 ◽  
Vol 7 (2) ◽  
pp. 331-357 ◽  
Author(s):  
Tomás Flouri ◽  
Jan Janousek ◽  
Bořivoj Melichar

Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and nonprocedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by deterministic pushdown automata, which read subject trees in prefix and postfix notation, is presented. The method is analogous to the construction of string pattern matchers: for a given pattern, a nondeterministic pushdown automaton is created and is then determinised. In addition, it is shown that the size of the resulting deterministic pushdown automata directly corresponds to the size of the existing string pattern matchers based on finite automata.


10.14311/1113 ◽  
2009 ◽  
Vol 49 (2) ◽  
Author(s):  
T. Flouri

Tree pattern matching is an important operation in Computer Science on which a number of tasks such as mechanical theorem proving, term-rewriting, symbolic computation and non-procedural programming languages are based on. Work has begun on a systematic approach to the construction of tree pattern matchers by deterministic pushdown automata which read subject trees in prefix notation. The method is analogous to the construction of string pattern matchers: for given patterns, a non-deterministic pushdown automaton is created and then it is determinised. In this first paper, we present the proposed non-deterministic pushdown automaton which will serve as a basis for the determinisation process, and prove its correctness. 


1992 ◽  
Vol 139 (4) ◽  
pp. 335
Author(s):  
R.F. Hobson ◽  
J.D. Hoskin ◽  
J.L. Simmons ◽  
R.W. Spilsbury

Author(s):  
A. A. Nedbaylov

The calculations required in project activities for engineering students are commonly performed in electronic spreadsheets. Practice has shown that utilizing those calculations could prove to be quite difficult for students of other fields. One of the causes for such situation (as well as partly for problems observed during Java and C programming languages courses) lies in the lack of a streamlined distribution structure for both the source data and the end results. A solution could be found in utilizing a shared approach for information structuring in spreadsheet and software environment, called “the Book Method”, which takes into account the engineering psychology issues regarding the user friendliness of working with electronic information. This method can be applied at different levels in academic institutions and at teacher training courses.


Author(s):  
Petar Halachev ◽  
Aleksandra Todeva ◽  
Gergana Georgieva ◽  
Marina Jekova

he report explores and analyzes the application of the most popular programming languages from different organizations: GitHub; Stackoverflow; the TIOBE's Community index. The main client technologies: HTML; CSS; JavaScript; Typescript are presented and analysed. Features are characterized and the advantages and the disadvantages of the server technologies are described: Java; PHP; Python; Ruby. The application areas for web site development technologies have been defined. The creation of a quality web site is a complex and complicated process, but by observing some guidelines and recommendations in the work process can help to select the tools and the technologies in its design and development.


2014 ◽  
Vol 5 (2) ◽  
pp. 778-789
Author(s):  
Hassan Nouri Al-Obaidi ◽  
Ali A. Rashead Al-Azawy

Current research presents a visual-computational tool to design and investigate round electrostatic lenses in sense of analysis procedure. The finite elements methods is adopted to find the electrostatic potential in the lens region. Laplace’s equation is first replaced by a certain functional which physically represent the electric energy stored in the electric field. This functional is then minimized at each mesh point with respect to the nearest eight ones. This minimization process is proved to be entirely equivalent to solving Laplace’s equation. The requirement that the functional being minimized is then yields a set of nine point equations which inter relate the potentials at adjacent mesh points. Finally this set of equations is solved to find the electrostatic potential at each mesh point in the region of the lens under consideration. The procedure steps mention above are coded to program written in visual basic. Hence an interface tool for analyzing and designing electrostatic lenses has been built up. Designing results proved that the introduced tools has an excellent outputs in comparison with the others written in not visual programming languages. Furthermore it easier for researchers and designer to use such a tool over their counterpart ones.


1981 ◽  
Author(s):  
M. DUNN, JR. ◽  
J. BERTELSEN

2015 ◽  
Vol 1 (3) ◽  
pp. 69
Author(s):  
Arjan Skuka

Despite the fact that introductory programming courses (IPCs) are taught at universities for more than thirty years, students still find computer programming very difficult to learn. Programming pedagogy deals with the methods and principles of teaching and learning computer programming. The programming pedagogical approaches that have been proposed to increase the efficiency of teaching and learning computer programming mostly focus on the tools, paradigms, programming languages and environments used in IPCs. To increase significantly the students’ success rates in IPCs, these approaches should be complemented with pedagogical explanation (PE) methods. This research is focused on a PE method of teaching sequential search of a matrix row (SSMR). The research was designed as experimental study with pretest-posttest control group model, involving students of Computer Engineering department Izmir University. While the experimental group was subjected to a pedagogical explanation method, a traditional explanation method was applied in the control group. To collect the research data, an achievement pretest, posttest and a questionnaire were developed and applied. The research findings showed the effectiveness of teaching SSMR by using a PE method. This method positively influenced students’ level of topic comprehension, which consequently improved their achievements. In order for students to understand better the other matrix programming operations, similar PE methods should be developed and used in IPCs. On a more general level, the results of this research suggested that PE methods should be developed and used for other topics that students usually find difficult to understand in IPCs. Using these methods can be a very important factor in significantly increasing students’ success in IPCs.


Sign in / Sign up

Export Citation Format

Share Document