Advanced Lectures on Formal Languages and Automata Theory

Goals and Purpose

This class will discuss the Water Environment from an interdisciplinary perspective looking at the concept of sustainability. It starts with a discussion on the mechanism of water cycle in Asia-Monsoon zones as well as at the global-level. The following lectures will focus on these topics with a cross-disciplinary study approach, from the perspective of Physics, Engineering, Agriculture and the Humanities, which includes: 'Water and Forests,' 'Water and River Basin Management Systems (including land-use plans on basins and engineering),' 'Water and Culture,' and 'the Statute System Dealing with Water Issues.'.

Key Features

As an interdisciplinary class for acquiring comprehensive knowledge about environmental issues, the professors of the School of Environmental Studies will give joint/omnibus lectures. The lectures will discuss those issues from various academic disciplines such as Physics, Engineering and Social Sciences: 'water cycle at the global-level, ' 'local/regions and water,' 'societies, institutions/systems, culture and water,' and 'water issues around the world.' Students are expected to broaden their views on water issues and make use of the knowledge acquired in the class into their own research and lives.

Class Contents

• General information of the class; its objectives and strategies.
• Rainfall distribution and water cycle on a global scale.
• Evaluation on the vulnerability and sustainability of shallow ground water.
• Water and the land use of its basin.

Textbooks

None.

Reference books

None.

Class Schedule

[ Theorem of Myhill-Nerode ](https://ocw.nagoya-u.jp/files/300/slideEng4.pdf)

Session 5

• Regular tree grammar, regular tree expression

Session 6

• NFTA and regular expression

Session 7

• Logic, automata and relations

Session 8

• WSkS: Weakly Second-order monadic logic with k successors

Session 9

• Propositional linear-time temporal logic

Session 10

• AWEDC: NFTA with equality constraints

Session 11

• AWCBB: NFTS with constraints between borthers, reduction automata

Session 12,13

• Tree Transducers

Session 14

• Hedge automaton

Grading

Grading will be based on reports (50%) and examination (50%).

---

Session	Contents
0	Introduction
1	Land vegetation and water/material cycle
2	Water/material cycle along coasts
3	Marine water/material cycle
4	The rainfall in East Asia and its distinctive features
5	Groundwater and water cycle
6	Water and urban environment (including topics on the land-use of basins)
7	River basin management: Water flood control, water utilization and river ecosystems
8	Water resource management in Northern China
9	Building aquatic-environmental ecosystems
10	Forestry management and the water/materials cycle
11