Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
A Mathematical Formalization of Making Grammars
https://orcid.org/http://orcid.org/0000-0001-5108-9787
Making grammars model makers as perceiving their environment and acting to transform it. Shape grammars, which model designers as manipulating shapes, are then a special case of making grammars where perceiving is limited to seeing and doing is limited to drawing. This paper develops set-theoretical and graph-theoretical formalizations of making grammars. Existing set-theoretical formalizations of shape grammars show that designing is visual computing by demonstrating that a shape grammar can be devised to simulate any Turing machine. However, there are no mathematical arguments showing how making grammars describe computation. Using a previously published example of a shape grammar and its corresponding making grammar, this paper combines ideas from ecological psychology with methods from set theory and graph theory to show that, for each Turing machine, a making grammar can be devised which simulates it.
A Mathematical Formalization of Making Grammars
https://orcid.org/http://orcid.org/0000-0001-5108-9787
Making grammars model makers as perceiving their environment and acting to transform it. Shape grammars, which model designers as manipulating shapes, are then a special case of making grammars where perceiving is limited to seeing and doing is limited to drawing. This paper develops set-theoretical and graph-theoretical formalizations of making grammars. Existing set-theoretical formalizations of shape grammars show that designing is visual computing by demonstrating that a shape grammar can be devised to simulate any Turing machine. However, there are no mathematical arguments showing how making grammars describe computation. Using a previously published example of a shape grammar and its corresponding making grammar, this paper combines ideas from ecological psychology with methods from set theory and graph theory to show that, for each Turing machine, a making grammar can be devised which simulates it.
A Mathematical Formalization of Making Grammars
https://orcid.org/http://orcid.org/0000-0001-5108-9787
Making grammars model makers as perceiving their environment and acting to transform it. Shape grammars, which model designers as manipulating shapes, are then a special case of making grammars where perceiving is limited to seeing and doing is limited to drawing. This paper develops set-theoretical and graph-theoretical formalizations of making grammars. Existing set-theoretical formalizations of shape grammars show that designing is visual computing by demonstrating that a shape grammar can be devised to simulate any Turing machine. However, there are no mathematical arguments showing how making grammars describe computation. Using a previously published example of a shape grammar and its corresponding making grammar, this paper combines ideas from ecological psychology with methods from set theory and graph theory to show that, for each Turing machine, a making grammar can be devised which simulates it.
A Mathematical Formalization of Making Grammars
Nexus Netw J
Kamath, Ayodh Vasant (Autor:in)
Nexus Network Journal ; 25 ; 985-998
01.12.2023
14 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Supporting Decision Making in Design using Shape Grammars
| British Library Conference Proceedings | 2000
Shape grammars and color grammars in design
| British Library Online Contents | 1994
Shape grammars and color grammars in design
| Online Contents | 1994
Formalization of the Decision Making Process in the Choice of Alternative Techniques
| British Library Conference Proceedings | 1996
| British Library Online Contents | 1998