Here is .proposed that architectural design can be described and explained by some kind of formal language, because of the unique character that the design is composed of elementary space units. I study the origins of this type of idea refering documents on modern architectural theories and research reports (Western and Japanease), investigate what kind of formal language is best applicable and propose a newly developped system using Dyck languge.