The objective of this descriptive study was to analyze students' grammatical errors in writing assignments, case a cover letter for second-semester Computer Science students at University Semarang. target population included 21 enrolled Business English class chosen randomly from pool 50 participants. They were asked write an application English. Then, using the surface approach taxonomy, resea...

In the fundamental paper [5] Rabin proved that the monadic second order logic (MSO) of the full binary tree is decidable using the automata method. This proof technique can be roughly described as follows: (1) an appropriate notion of tree automaton is defined; (2) every formula φ of the MSO logic is effectively associated to an automaton Aφ such that that φ is true if and only if Aφ accepts a ...

<span style="font-size: 10.0pt; mso-bidi-font-size: 11.0pt; line-height: 107%; font-family: 'Calibri',sans-serif; mso-fareast-font-family: Calibri; mso-bidi-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: mso-bidi-language: AR-SA;" lang="EN-US">The allocation of political advertising in social media is rising Western campaigns. Yet audiences, unlike those t...

Monadic second-order logic on finite words (MSO) is a decidable yet expressive logic into which many decision problems can be encoded. Since MSO formulas correspond to regular languages, equivalence of MSO formulas can be reduced to the equivalence of some regular structures (e.g. automata). We verify an executable decision procedure for MSO formulas that is not based on automata but on regular...

Drivers of mining trucks are exposed to whole-body vibrations (WBV) and shocks during the various working cycles. These exposures have an adversely influence on the health, c...