Computability complexity and languages

fundamentals of theoretical computer science 2.

ed., transferred to digital print Edition Davis
pdf download
https://ebookfinal.com/download/computability-complexity-and-
languages-fundamentals-of-theoretical-computer-science-2-ed-
transferred-to-digital-print-edition-davis/

Explore and download more ebooks or textbooks

at ebookfinal.com
We have selected some products that you may be interested in
Click the link to download now or visit ebookfinal.com
for more options!.

Physics and Theoretical Computer Science From Numbers and

Languages to Quantum Cryptography J.-P. Gazeau

https://ebookfinal.com/download/physics-and-theoretical-computer-
science-from-numbers-and-languages-to-quantum-cryptography-j-p-gazeau/

Languages and Machines An Introduction to the Theory of

Computer Science 3rd Edition Thomas A. Sudkamp

https://ebookfinal.com/download/languages-and-machines-an-
introduction-to-the-theory-of-computer-science-3rd-edition-thomas-a-
sudkamp/

Fundamentals of Computer Science using Java 1st Edition

David Hughes

https://ebookfinal.com/download/fundamentals-of-computer-science-
using-java-1st-edition-david-hughes/

Wheat flour milling 2. ed., 2. print Edition Hibbs

https://ebookfinal.com/download/wheat-flour-milling-2-ed-2-print-
edition-hibbs/
Universal Algebra and Applications in Theoretical Computer
Science 1st Edition Klaus Denecke (Author)

https://ebookfinal.com/download/universal-algebra-and-applications-in-
theoretical-computer-science-1st-edition-klaus-denecke-author/

Digital evidence and computer crime forensic science

computers and the Internet 2nd ed Edition Eoghan Casey Bs
Ma
https://ebookfinal.com/download/digital-evidence-and-computer-crime-
forensic-science-computers-and-the-internet-2nd-ed-edition-eoghan-
casey-bs-ma/

The Photoshop Darkroom 2 Creative Digital Transformations

1st Edition Harold Davis

https://ebookfinal.com/download/the-photoshop-darkroom-2-creative-
digital-transformations-1st-edition-harold-davis/

Computability and logic 4th ed Edition George S. Boolos

https://ebookfinal.com/download/computability-and-logic-4th-ed-
edition-george-s-boolos/

Comprehensive Coordination Chemistry II From Biology to

Nanotechnology 2 ed in 10 Vol Set Volume 02 Fundamentals
Physical Methods Theoretical Analysis and Case Studies 2nd
Edition Mccleverty J.A. (Ed.)
https://ebookfinal.com/download/comprehensive-coordination-chemistry-
ii-from-biology-to-nanotechnology-2-ed-in-10-vol-set-
volume-02-fundamentals-physical-methods-theoretical-analysis-and-case-
studies-2nd-edition-mccleverty-j-a-ed/
Computability complexity and languages fundamentals of
theoretical computer science 2. ed., transferred to digital
print Edition Davis Digital Instant Download
Author(s): Davis, Martin;Sigal, Ron;Weyuker, Elaine J
ISBN(s): 9780122063824, 0122063821
Edition: 2. ed., transferred to digital print
File Details: PDF, 48.81 MB
Year: 2003
Language: english
Second Edition
Computability,
Complexity, and
Languages
Fundamentals of
Theoretical Computer Science
This is a volume in
COMPUTER SCIENCE AND SCIENTIFIC COMPUTING
A Series of Monographs and Textbooks
Editor: Werner Rheinboldt
A complete list of titles in this series is available from the publisher upon request.
Second Edition
Computability,
Complexity, and
Languages
Fundamentals of
Theoretical Computer Science
Martin D. Davis
Department of Computer Science
Courant Institute of Mathematical Sciences
New York University
New York, New York

Ron Sigal
Departments of Mathematics and Computer Science
Yale University
New Haven, Connecticut

Elaine J. Weyuker
Department of Computer Science
Courant Institute of Mathematical Sciences
New York University
New York, New York

Morgan Kaufmann is an imprint of Academic Press

A Harcourt Science and Technology Company

San Diego San Francisco New York Boston

London Sydney Tokyo
This book is printed on acid free paper

Copyright © 1994, 1983 Elsevier Science (USA)

All Rights Reserved.

No part of this publication may be reproduced or transmitted in any form or by any
means, electronic or mechanical, including photocopy, recording, or any information
storage and retrieval system, without permission in writing from the publisher.

Requests for permission to make copies of any part of the work should be mailed to:
Permissions Department, Harcourt Brace & Company, 6277 Sea Harbor Drive,
Orlando, Florida 32887-6777

Morgan Kaufmann Publishers

340 Pine Street, Sixth Floor, San Francisco, California 94104-3205
http://www.mkp.com
Transferred to Digital Printing 2003
Academic Press
An Elsevier Science Imprint
525 B Street, Suite 1900, San Diego, California 92101-4495, U.S.A.
http://www.academicpress.com

Academic Press
84 Theobalds Road, London VVC1X 8RR, UK
http://www.academicpress.com

Library of Congress Cataloging-in-Publication Data

Davis, Martin 1928
Computability, complexity, and languages: fundamentals of
Theoretical computer science / Martin D. Davis, Ron Sigal,
Elaine J. Weyuker. -2nded.
p. cm. -(Computer science and applied mathematics)
Includes bibliographical references and index.
ISBN 0-12-206382-1
1. Machine theory. 2. Computational complexity. 3. Formal
Languages. I. Sigal, Ron. II. Weyuker, Elaine J. III. Title.
IV. Series.
QA267.D38 1994
511.3-dc20 93-26807
CIP
PRINTED IN THE UNITED STATES OF AMERICA
02 03 04 05 06 SB 9 8 7 6
 To the memory of Helen and Harry Davis
and to
Hannah and Herman Sigal
Sylvia and Marx Weyuker

Virginia Davis, Dana Latch, Thomas Ostrand

and to
Rachel Weyuker Ostrand
This page intentionally left blank
 Contents

Preface xiii
Acknowledgments xvii
Dependency Graph xix

1 Preliminaries 1
1. Sets and ^-tuples 1
2. Functions 3
3. Alphabets and Strings 4
4. Predicates 5
5. Quantifiers 6
6. Proof by Contradiction 8
7. Mathematical Induction 9

Part 1 Computability 15
2 Programs and Computable Functions 17
1. A Programming Language 17
2. Some Examples of Programs 18
3. Syntax 25
4. Computable Functions 28
5. More about Macros 32
VII
viii

3 Primitive Recursive Functions 39

1. Composition 39
2. Recursion 40
3. PRC Classes 42
4. Some Primitive Recursive Functions 44
5. Primitive Recursive Predicates 49
6. Iterated Operations and Bounded Quantifiers 52
7. Minimalization 55
8. Pairing Functions and Gödel Numbers 59
4 A Universal Program 65
1. Coding Programs by Numbers 65
2. The Halting Problem 68
3. Universality 70
4. Recursively Enumerable Sets 78
5. The Parameter Theorem 85
6. Diagonalization and Reducibility 88
7. Rice's Theorem 95
*8. The Recursion Theorem 97
*9. A Computable Function That Is Not Primitive Recursive 105
5 Calculations on Strings 113
1. Numerical Representation of Strings 113
2. A Programming Language for String Computations 121
3. The Languages «y and <9Jn 126
4. Post-Turing Programs 129
5. Simulation of ò^n in t? 135
6. Simulation of F in J/y 140
6 Turing Machines 145
1. Internal States 145
2. A Universal Turing Machine 152
3. The Languages Accepted by Turing Machines 153
4. The Halting Problem for Turing Machines 157
5. Nondeterministic Turing Machines 159
6. Variations on the Turing Machine Theme 162
7 Processes and Grammars 169
1. Semi-Thue Processes 169
2. Simulation of Nondeterministic Turing Machines by
Semi-Thue Processes 171
Contents ix

3. Unsolvable Word Problems 176

4. Post's Correspondence Problem 181
5. Grammars 186
6. Some Unsolvable Problems Concerning Grammars 191
*7. Normal Processes 192

8 Classifying Unsolvable Problems 197

1. Using Oracles 197
2. Relativization of Universality 201
3. Reducibility 207
4. Sets r.e. Relative to an Oracle 211
5. The Arithmetic Hierarchy 215
6. Post's Theorem 217
7. Classifying Some Unsolvable Problems 224
8. Rice's Theorem Revisited 230
9. Recursive Permutations 231

Part 2 Grammars and Automata 235

9 Regular Languages 237

1. Finite Automata 237
2. Nondeterministic Finite Automata 242
3. Additional Examples 247
4. Closure Properties 249
5. Kleene's Theorem 253
6. The Pumping Lemma and Its Applications 260
7. The Myhill-Nerode Theorem 263

10 Context-Free Languages 269

1. Context-Free Grammars and Their Derivation Trees 269
2. Regular Grammars 280
3. Chomsky Normal Form 285
4. Bar-Hillel's Pumping Lemma 287
5. Closure Properties 291
*6. Solvable and Unsolvable Problems 297
7. Bracket Languages 301
8. Pushdown Automata 308
9. Compilers and Formal Languages 323
X Contents

11 Context-Sensitive Languages 327

1. The Chomsky Hierarchy 327
2. Linear Bounded Automata 330
3. Closure Properties 337

Part 3 Logic 345

12 Propositional Calculus 347
1. Formulas and Assignments 347
2. Tautological Inference 352
3. Normal Forms 353
4. The Davis-Putnam Rules 360
5. Minimal Unsatisfiability and Subsumption 366
6. Resolution 367
7. The Compactness Theorem 370

13 Quantification Theory 375

1. The Language of Predicate Logic 375
2. Semantics 377
3. Logical Consequence 382
4. Herbrand's Theorem 388
5. Unification 399
6. Compactness and Countability 404
*7. Gödel's Incompleteness Theorem 407
*8. Unsolvability of the Satisfiability Problem in Predicate Logic 410

Part 4 Complexity AM
14 Abstract Complexity 419
1. The Blum Axioms 419
2. The Gap Theorem 425
3. Preliminary Form of the Speedup Theorem 428
4. The Speedup Theorem Concluded 435

15 Polynomial-Time Computability 439

1. Rates of Growth 439
2. P versus NP 443
3. Cook's Theorem 451
4. Other NP-Complete Problems 457
Contents xi

Part 5 Semantics 465

16 Approximation Orderings 467
1. Programming Language Semantics 467
2. Partial Orders 472
3. Complete Partial Orders 475
4. Continuous Functions 486
5. Fixed Points 494
17 Denotational Semantics of Recursion Equations 505
1. Syntax 505
2. Semantics of Terms 511
3. Solutions to W-Programs 520
4. Denotational Semantics of W-Programs 530
5. Simple Data Structure Systems 539
6. Infinitary Data Structure Systems 544
18 Operational Semantics of Recursion Equations 557
1. Operational Semantics for Simple Data Structure Systems 557
2. Computable Functions 575
3. Operational Semantics for Infinitary Data Structure Systems 584

Suggestions for Further Reading 593

Notation Index 595
Index 599
This page intentionally left blank
 Preface

Theoretical computer science is the mathematical study of models of

computation. As such, it originated in the 1930s, well before the existence
of modern computers, in the work of the logicians Church, Gödel, Kleene,
Post, and Turing. This early work has had a profound influence on the
practical and theoretical development of computer science. Not only has
the Turing machine model proved basic for theory, but the work of these
pioneers presaged many aspects of computational practice that are now
commonplace and whose intellectual antecedents are typically unknown to
users. Included among these are the existence in principle of all-purpose
(or universal) digital computers, the concept of a program as a list of
instructions in a formal language, the possibility of interpretive programs,
the duality between software and hardware, and the representation of
languages by formal structures, based on productions. While the spotlight
in computer science has tended to fall on the truly breathtaking technolog­
ical advances that have been taking place, important work in the founda­
tions of the subject has continued as well. It is our purpose in writing this
book to provide an introduction to the various aspects of theoretical
computer science for undergraduate and graduate students that is suffi­
ciently comprehensive that the professional literature of treatises and
research papers will become accessible to our readers.
We are dealing with a very young field that is still finding itself.
Computer scientists have by no means been unanimous in judging which
XIII
XIV Preface

parts of the subject will turn out to have enduring significance. In this
situation, fraught with peril for authors, we have attempted to select topics
that have already achieved a polished classic form, and that we believe will
play an important role in future research.
In this second edition, we have included new material on the subject of
programming language semantics, which we believe to be established as an
important topic in theoretical computer science. Some of the material on
computability theory that had been scattered in the first edition has been
brought together, and a few topics that were deemed to be of only
peripheral interest to our intended audience have been eliminated. Nu­
merous exercises have also been added. We were particularly pleased to be
able to include the answer to a question that had to be listed as open in
the first edition. Namely, we present Neil Immerman's surprisingly
straightforward proof of the fact that the class of languages accepted by
linear bounded automata is closed under complementation.
We have assumed that many of our readers will have had little experi­
ence with mathematical proof, but that almost all of them have had
substantial programming experience. Thus the first chapter contains an
introduction to the use of proofs in mathematics in addition to the usual
explanation of terminology and notation. We then proceed to take advan­
tage of the reader's background by developing computability theory in the
context of an extremely simple abstract programming language. By system­
atic use of a macro expansion technique, the surprising power of the
language is demonstrated. This culminates in a universal program, which is
written in all detail on a single page. By a series of simulations, we then
obtain the equivalence of various different formulations of computability,
including Turing's. Our point of view with respect to these simulations is
that it should not be the reader's responsibility, at this stage, to fill in the
details of vaguely sketched arguments, but rather that it is our responsibil­
ity as authors to arrange matters so that the simulations can be exhibited
simply, clearly, and completely.
This material, in various preliminary forms, has been used with under­
graduate and graduate students at New York University, Brooklyn College,
The Scuola Matematica Interuniversitaria-Perugia, The University of Cal­
ifornia-Berkeley, The University of California-Santa Barbara, Worcester
Polytechnic Institute, and Yale University.
Although it has been our practice to cover the material from the second
part of the book on formal languages after the first part, the chapters on
regular and on context-free languages can be read immediately after
Chapter 1. The Chomsky-Schützenberger representation theorem for con­
text-free languages in used to develop their relation to pushdown au­
tomata in a way that we believe is clarifying. Part 3 is an exposition of the
aspects of logic that we think are important for computer science and can
Preface xv

also be read immediately following Chapter 1. Each of the chapters of Part

4 introduces an important theory of computational complexity, concluding
with the theory of NP-completeness. Part 5, which is new to the second
edition, uses recursion equations to expand upon the notion of computabil-
ity developed in Part 1, with an emphasis on the techniques of formal
semantics, both denotational and operational. Rooted in the early work of
Gödel, Herbrand, Kleene, and others, Part 5 introduces ideas from the
modern fields of functional programming languages, denotational seman­
tics, and term rewriting systems.
Because many of the chapters are independent of one another, this book
can be used in various ways. There is more than enough material for a
full-year course at the graduate level on theory of computation. We have
used the unstarred sections of Chapters 1-6 and Chapter 9 in a successful
one-semester junior-level course, Introduction to Theory of Computation,
at New York University. A course on finite automata and formal languages
could be based on Chapters 1, 9, and 10. A semester or quarter course on
logic for computer scientists could be based on selections from Parts 1 and
3. Part 5 could be used for a third semester on the theory of computation
or an introduction to programming language semantics. Many other ar­
rangements and courses are possible, as should be apparent from the
dependency graph, which follows the Acknowledgments. It is our hope,
however, that this book will help readers to see theoretical computer
science not as a fragmented list of discrete topics, but rather as a unified
subject drawing on powerful mathematical methods and on intuitions
derived from experience with computing technology to give valuable in­
sights into a vital new area of human knowledge.

Note to the Reader

Many readers will wish to begin with Chapter 2, using the material of
Chapter 1 for reference as required. Readers who enjoy skipping around
will find the dependency graph useful.
Sections marked with an asterisk (*) may be skipped without loss of
continuity. The relationship of these sections to later material is given in
the dependency graph.
Exercises marked with an asterisk either introduce new material, refer
to earlier material in ways not indicated in the dependency graph, or
simply are considered more difficult than unmarked exercises.
A reference to Theorem 8.1 is to Theorem 8.1 of the chapter in which
the reference is made. When a reference is to a theorem in another
chapter, the chapter is specified. The same system is used in referring to
numbered formulas and to exercises.
This page intentionally left blank
 Acknowledgments

It is a pleasure to acknowledge the help we have received. Charlene

Herring, Debbie Herring, Barry Jacobs, and Joseph Miller made their
student classroom notes available to us. James Cox, Keith Harrow, Steve
Henkind, Karen Lemone, Colm O'Dunlaing, and James Robinett provided
helpful comments and corrections. Stewart Weiss was kind enough to
redraw one of the figures. Thomas Ostrand, Norman Shulman, Louis
Salkind, Ron Sigal, Patricia Teller, and Elia Weixelbaum were particularly
generous with their time, and devoted many hours to helping us. We are
especially grateful to them.

Acknowledgments to Corrected Printing

We have taken this opportunity to correct a number of errors. We are
grateful to the readers who have called our attention to errors and who
have suggested corrections. The following have been particularly helpful:
Alissa Bernholc, Domenico Cantone, John R. Cowles, Herbert Enderton,
Phyllis Franki, Fred Green, Warren Hirsch, J. D. Monk, Steve Rozen, and
Stewart Weiss.

xvii
XVIII Acknowledgments

Acknowledgments to Second Edition

Yuri Gurevich, Paliath Narendran, Robert Paige, Carl Smith, and particu­
larly Robert McNaughton made numerous suggestions for improving the
first edition. Kung Chen, William Hurwood, Dana Latch, Sidd Puri,
Benjamin Russell, Jason Smith, Jean Toal, and Niping Wu read a prelimi­
nary version of Part 5.

Acknowledgments to Reprint of Second Edition

We are grateful to the following people for their careful reading of the
Second Edition: John Case, P. Klingsberg, Ken Klein, Eugenio Omodeo,
David Schedler, John David Stone, and Lenore Zuck.
 Dependency Graph
Chapter 1
Preliminaries

Chapter 9 Chapter 2 Chapter 12

Regular Languages Programs and Proportional Calculus
Computable Functions

Chapter 10 Chapter 3
Context-Free Languages Primitive
Recursive Functions

Chapter 16 Chapter 4 Chapter 8

Approximation A Universal Program Classifying Unsorvable
Ordering« Problems

Chapter 5
Chapter 17 Calculations on Chapter 14
Denotations Semantics Strings Abstract Complexity
of Recursion Equations

Chapter 6 Chapter 15
Chapter 18 Turing Machines Polynomial-Time
Operational Semantics Computabilrty
of Recursion Equations

Chapter 7
Processes and Grammars

Chapter 11 Chapter 13
Context-Sensitive Quantification Theory
Languages

A solid line between two chapters indicates the dependence of the un-
starred sections of the higher numbered chapter on the unstarred sections
of the lower numbered chapter. An asterisk next to a solid line indicates
that knowledge of the starred sections of the lower numbered chapter is
also assumed. A dotted line shows that knowledge of the unstarred
sections of the lower numbered chapter is assumed for the starred sections
of the higher numbered chapter.
xix
Discovering Diverse Content Through
Random Scribd Documents
 Fig. 211.—Maison à Provins (XIVᵉ siècle).

des fenêtres ouvrant sur une cour, servait de cuisine et de salle à manger. A gauche de l’arcade, sur la façade,
 Fig. 212.—Maison à Laon (XIVᵉ siècle).

s’ouvrait une petite porte donnant accès à l’escalier desservant le premier étage, où se trouvait la grande
 Fig. 213.—Maison à Cordes-Albigeois (XIVᵉ siècle).

chambre qui servait de salle de réception et, à côté, une autre chambre éclairée sur la cour; au-dessus se
trouvaient les logements du personnel de la maison.
L’architecture des maisons varie selon le climat, les matériaux du pays et les usages des habitants.
Quand il ne s’agit que d’ouvrir des jours, portes et fenêtres dans les façades pour éclairer l’habitation, les
maisons n’ont pas de caractère particulier; mais dès que ces jours prennent une certaine richesse et que des
moulures ou des sculptures décorent quelques parties de la façade, les ornements sont empruntés aux édifices
voisins: églises ou abbayes construites par les moines-architectes, soit par suite de l’influence des écoles
monastiques, esprit d’imitation ou la force de l’habitude.
Les maisons de Cluny, qui remontent au XIIᵉ siècle, nous fournissent plusieurs exemples; celles qui
existent encore sont bâties presque entièrement en pierre. Les arcatures des ouvertures rappellent certains
détails de l’église abbatiale ou des bâtiments claustraux que les constructeurs ont tout naturellement imités.
Il en est de même pour les autres maisons dont nous donnons les dessins exprimant les caractères des
constructions urbaines des XIIIᵉ et XVᵉ siècles. On peut suivre par l’étude des habitations privées les effets
consécutifs des transformations qui s’étaient faites dans l’architecture religieuse et monastique et qui
s’étaient manifestées dans les édifices élevés au même temps.
Ce n’est que vers la fin du XIVᵉ siècle et particulièrement pendant le siècle suivant que cette influence
s’efface et le changement, sinon le progrès, s’accuse par la forme des ouvertures qui ne ressemblent plus aux
arcatures des cloîtres ou des églises, mais qui deviennent surbaissées, en anse de panier ou carrées et qui,
dans les fenêtres, ne sont plus divisées par des
 Fig. 214.—Maison au Mont-Saint-Michel (XVᵉ siècle).

réseaux de pierre, ornés d’arcs brisés et d’accolades, mais simplement par des meneaux et des traverses
 Fig. 215.—Maison en bois à Rouen (XVᵉ siècle).
Fig. 215.—Maison en bois à Rouen (XVᵉ siècle).

formant des subdivisions carrées qu’il était possible de

Fig. 216.—Maison en bois aux Andelys (XVᵉ siècle).
clore par des châssis vitrés mobiles dont la manœuvre était des plus faciles.
Les façades sont généralement construites en pierre ou en brique, c’est-à-dire en matériaux résistants, le
bois n’étant plus en usage que pour les planchers et la charpente des combles.
Au XVᵉ siècle, dans les provinces du Nord où la pierre est rare, celle-ci n’était employée que dans la
partie basse, les étages établis en encorbellement étaient composés de charpente dont les vides étaient
maçonnés en briques; les membrures principales: les poutres encorbellées, les poteaux, les saillies, les cadres
des fenêtres étaient ornés de moulures et de sculptures; ces étages étaient, le plus souvent, couronnés d’un
pignon accusant la forme par un arc brisé en saillie, de la charpente du comble ou bien par des lucarnes en
bois richement décorées.
Dans les climats pluvieux, la charpente était recouverte d’ardoises ou de bardeaux, en bois fendu en
lames, afin de la préserver de l’humidité.
Suivant un usage adopté dans le Nord, chaque maison était séparée, à son sommet, quand elle ne l’était
pas par une ruelle étroite ou par un espace vide, non seulement pour satisfaire la vanité du bourgeois qui
voulait avoir pignon sur rue et le faire voir, mais surtout pour éviter la propagation des incendies si fréquents
dans les cités dont les maisons étaient presque toutes bâties en bois, et dont les conséquences étaient
désastreuses, alors qu’il n’existait que des moyens rudimentaires pour combattre le fléau.
Pendant le XVᵉ siècle et surtout pendant le siècle suivant, on éleva de grandes habitations, des maisons
nobles qui n’existaient guère avant ce temps, les seigneurs habitant leurs châteaux forteresses. Ces grandes
maisons seigneuriales diffèrent essentiellement des habitations du bourgeois; l’hôtel occupait un espace
assez étendu, comprenant des cours et souvent des jardins,

Fig. 217.—Hôtel Lallemand, à Bourges (fin du XVᵉ siècle).

la maison du bourgeois ou du marchand donnait directement sur la rue, tandis que les bâtiments de l’hôtel
étaient disposés dans une cour intérieure, souvent très richement décorée et que des communs, écuries,
remises et logement des gens bordaient la rue sur laquelle s’ouvrait la porte principale donnant accès à la
cour et aux bâtiments intérieurs.
A Paris, au XIVᵉ siècle et surtout au XVᵉ, il existait des hôtels dont les noms au moins ont été conservés:
des Tournelles, de Saint-Pol, de Sens, de Nevers, de la Trémoille, détruit en 1840. L’hôtel de Cluny, construit
vers 1485, est un des plus curieux exemples de cette disposition, et il est d’autant plus intéressant qu’il a été
conservé presque tout entier.
A Bourges, il existe encore plusieurs grandes maisons

Fig. 218.—Hôtel de Jacques Cœur, à Bourges.—Façade sur la place Berry

(XVᵉ siècle).

du même temps, entre autres, l’hôtel Lallemand, construit vers la fin du XVᵉ siècle, dont la cour intérieure
présente un grand intérêt, et principalement l’hôtel ou plutôt le château de Jacques Cœur.
Élevé dans la seconde moitié du XVᵉ siècle, en partie sur les remparts de la ville, ce superbe édifice est
trop connu pour que nous en donnions des images et une nouvelle description de l’entrée et de la cour
intérieure; mais la façade sur la place Berry, pour être moins somptueusement décorée, n’en est pas moins
intéressante. Elle montre les deux grosses tours de l’enceinte fortifiée, assises sur leurs soubassements gallo-
romains, les corps de logis de l’immense hôtel rappelant encore le château féodal, qui témoignent en même
temps de la richesse et de la puissance de l’argentier de Charles VII, aussi célèbre par sa haute fortune que
par ses malheurs immérités.

CHAPITRE II

M A I S O N S C O M M U N E S , B E F F R O I S , PA L A I S .

L’évolution sociale qui produisit l’affranchissement des communes commença dès le XIᵉ siècle, mais la
manifestation de ce grand événement politique ne se produisit que beaucoup plus tard.
Jusqu’au XIVᵉ siècle, les communes eurent à souffrir des vicissitudes sans nombre pour exercer les droits
que leur donnaient les chartes consenties par les suzerains, non sans difficultés et résistances, toutes
naturelles d’ailleurs, puisque ces droits qu’ils avaient octroyés étaient une atteinte portée à leur despotique
autorité seigneuriale. Aussi dès qu’ils pouvaient reprendre ce qu’ils avaient donné et abolir la commune, ils
exigeaient d’abord la démolition de la maison de ville et du beffroi. Ce qui explique qu’il ne soit resté que de
très rares vestiges des maisons communes antérieures au XIVᵉ siècle.
Maisons communes.—Quelques grandes cités du Midi avaient élevé des maisons communes: à
Bordeaux, dès le XIIᵉ siècle et suivant les traditions romaines; à Toulouse, vers la même époque, où la maison
de ville était une véritable forteresse.
Mais la plupart des communes naissantes étaient dans une grande misère; les charges et les redevances
qui leur étaient imposées étaient si lourdes qu’il leur était impossible de songer à bâtir la maison commune.
Au XIVᵉ siècle, la commune de Paris même n’avait qu’une maison de ville des plus modestes, car c’est
seulement en 1357 que le receveur des gabelles vendit à Étienne Marcel, prévôt des marchands, un petit logis
consistant en deux pignons et qui tenaient à plusieurs maisons bourgeoises. Ce qui prouverait que, jusqu’à
cette époque, la maison communale n’avait rien qui la distinguât des autres habitations.
A la fin du même siècle, Caen possédait une maison commune qui avait quatre étages de hauteur.
Pendant le XIIIᵉ siècle, la monarchie, la noblesse et le clergé, l’expression des pouvoirs en ce temps,
avaient créé des villes et des communes nouvelles.
Dans le Nord: Villeneuve-le-Roi, Villeneuve-le-Comte et Villeneuve-l’Archevêque durent leur existence
matérielle et communale à la manifestation de la puissance de ces divers pouvoirs.
Dans le Midi, la guerre des Albigeois avait ravagé, ruiné et même détruit plusieurs cités. Ces mêmes
pouvoirs publics reconnurent la nécessité de repeupler ces pays décimés par une guerre cruelle. Les
seigneurs
 Fig. 219.—Maison commune de Pienza (Italie) (fin du XIVᵉ siècle).

féodaux, laïques et religieux attirèrent dans des centres les populations dispersées en leur concédant des
terres pour former des villes nouvelles et ils les fixèrent par l’apparence de la liberté qu’ils leur donnaient en
leur octroyant des franchises communales.
D’après de Caumont et Anthyme Saint-Paul, les villes neuves ou bastides sont reconnaissables à leurs
noms, à la régularité de leur plan ou à ces caractères réunis.
Quelques noms marquaient soit une dépendance ou une origine royale plus particulière, comme
Réalville ou Montréal, soit des privilèges octroyés à la ville, comme Bonneville, la Sauvetat, Sauveterre,
Villefranche, ou simplement la Bastide ou Villeneuve.
Enfin un certain nombre portent les noms de provinces et de villes françaises, ou même étrangères, cités
par Ant. Saint-Paul dans l’Annuaire de l’archéologie française: Barcelone ou Barcelonnette, Beauvais,
Boulogne, Bruges, Cadix, Cordes (pour Cordoue), Fleurance (pour Florence), Bretagne, Cologne, Valence,
Miélan (pour Milan), la Française et Francescas, Grenade, Libourne (pour Livourne), Modène, Pampelonne
(pour Pampelune), etc.
Une ville neuve ou bastide a généralement la forme d’un rectangle dont deux des côtés mesurent environ
deux cent vingt-cinq mètres et les deux autres cent soixante-quinze, comme Sauveterre d’Aveyron, par
exemple. Au milieu est ménagée une place à laquelle quatre rues aboutissent, partageant la ville en quatre
parties. Cette place est entourée de galeries, en plein cintre ou en arc brisé, qui sont couvertes par une
charpente, ou des voûtes, ou des arcades transversales, d’où est venu le nom de place des Couverts, encore
usité dans certaines villes du Midi.
Au centre de la place se trouvait la maison commune dont le rez-de-chaussée servait de halle publique.
La
 Fig. 220.—Maison commune et beffroi d’Ypres (Belgique).

bastide de Montréjeau a conservé cette disposition et on peut citer pour leur régularité les villes de
Montpazier, avec ses rues couvertes par de grandes arcades en arc brisé; puis, Eymet, Domme et Beaumont,
Libourne, Sainte-Foy et Sauveterre de Guyenne, Damazan et Montflanquin, Rabastens, Mirande, Grenade,
l’Isle d’Albi et Réalmont, etc. Plusieurs bastides ont été fondées en Guyenne par les Anglais. Enfin la ville
basse de Carcassonne, fondée en 1247, et Aigues-Mortes, en
Fig. 221.—Halle et beffroi de Bruges (Belgique).
1248, sont également des villes neuves ou des bastides[86].

Fig. 222.—Hôtel de ville de Bruges (Belgique).

 «L’ère des bastides méridionales, ouverte en 1222 par la fondation de Cordes-Albigeois, fut close en
1344 par une protestation des Capitouls de Toulouse, sur laquelle le roi interdit désormais toute création
nouvelle. Il existe encore en Guyenne, en Gascogne, en Languedoc et dans les pays circonvoisins, au moins
deux cents bastides dont plusieurs, n’ayant pas prospéré, sont restées de petits villages; sur certains points
elles étaient trop rapprochées les unes des autres pour ne pas se porter un préjudice mutuel[87].»
L’architecture civile était arrivée au XVᵉ siècle à une prospérité si grande que, par un effet de réaction
qu’il est intéressant de noter, tout au moins, elle apporta des modifications à l’architecture religieuse, d’où
elle était sortie, en lui transmettant certaines formes comme l’arc en accolade ou en anse de panier, adoptées
dès la fin du XVᵉ siècle et pendant le siècle suivant qui fut, du reste, l’apogée de l’architecture civile.
Les communes du Midi conservèrent leurs franchises jusqu’au XVIᵉ siècle, l’époque néfaste des guerres
de religion qui causèrent la destruction d’un grand nombre d’édifices de toute nature.
La maison commune de Saint-Antonin (Tarn-et-Garonne) est peut-être la seule qui fut épargnée et elle
nous est restée comme un exemple, à peu près intact, sauf le sommet du beffroi, des dispositions prises par
les architectes au XIIIᵉ siècle, date probable de cet édifice municipal (fig. 200).
La petite ville de Saint-Antonin, qui avait obtenu sa charte communale dès 1136, eut beaucoup à souffrir
de sa fidélité au comte de Toulouse, Raymond VI, et,
 Fig. 223.—Hôtel de ville de Louvain (Belgique).

pendant la guerre contre les Albigeois, elle fut prise deux fois par Simon de Montfort, puis vendue par son
fils Gui de Montfort à saint Louis en 1226. C’est sans doute à cette époque que fut élevé l’édifice qui
subsiste et porte le caractère particulier de la maison commune: le beffroi, c’est-à-dire la manifestation
monumentale de l’autorité et de la juridiction communale.
L’édifice se compose d’un simple bâtiment de forme rectangulaire à trois étages, dominés par le beffroi
carré; le rez-de-chaussée est une halle communiquant avec un marché adjacent et la rue, étroite, qui passe
sous le beffroi; au premier étage se trouve la salle communale et une petite salle dans la tour; le deuxième
étage est semblable au premier.
On sait quelle fut la force d’expansion de l’art français dès la fin du XIIᵉ siècle et nous en avons étudié
les effets dans l’architecture religieuse; l’influence française paraît s’être exercée également par
l’architecture civile, car nous voyons des édifices municipaux, élevés vers la fin du XIVᵉ siècle en Italie,—à
Pienza et autres villes,—qui présentent une analogie, une ressemblance même avec celui de Saint-Antonin
construit vers le milieu du XIIIᵉ siècle.
Les maisons communes du Nord, en Allemagne et en Belgique, semblent avoir été bâties sur un plan à
peu près uniforme; un beffroi s’élevait au centre de la façade qui accuse de grandes salles, à droite et à
gauche au premier étage, et dont l’étage inférieur était une halle pour la vente de diverses marchandises.
La maison commune d’Ypres, en Belgique,—dite la halle aux draps depuis la construction au XVIIᵉ siècle
du nouvel hôtel de ville,—qui existe encore, est un des plus beaux exemples de cette disposition.
Fig. 224.—Beffroi de Tournai (Belgique).
 Elle fut commencée en 1202 et terminée en 1304. La façade, qui mesure 140 mètres de longueur, est
percée de fenêtres en arc brisé. Chaque extrémité est marquée par une élégante tourelle et le centre est
magnifiquement accusé par un immense beffroi carré, qui est la partie la plus ancienne de l’édifice dont la
première pierre a été posée en 1200 par Baudouin IX, comte de Flandre.
A Bruges, le beffroi, ou tour des halles, commencé à la fin du XIIIᵉ siècle et terminé un siècle plus tard,
est également un exemple intéressant des maisons communes des villes de ce temps.
L’édifice contient les halles, les salles communales, et l’ensemble des bâtiments municipaux est dominé
par un beffroi qui atteint une hauteur de 105 mètres.
L’hôtel de ville de Bruges, remplaçant la première maison commune, fut élevé sur la place du Bourg, de
1376 à 1387 et dans un caractère architectural tout différent, car son aspect, très élégant par ses détails, le fait
ressembler plutôt à une chapelle somptueusement décorée qu’à un édifice municipal.
Enfin, comme spécimen des hôtels de ville élevés en Belgique aux XIVᵉ et XVᵉ siècles, il faut citer celui
de Louvain. Il rappelle Bruges par son architecture couverte d’ornements et surtout par sa disposition
générale qui donne l’impression d’un monument religieux.
Il fut construit de 1448 à 1463 par Mathieu de Layens, maître maçon de la ville et de sa banlieue.
L’édifice, avec ses trois étages, est de forme rectangulaire dont les pignons, percés de trois étages de fenêtres
en arc brisé, sont d’une extrême richesse de moulures, de statues et d’ornements sculptés. Il est couvert par
un comble très aigu, décoré de plusieurs étages de lucarnes; les
 Fig. 225.—Beffroi de Gand (Belgique).

pignons sont couronnés par trois élégantes tourelles ajourées et surmontées de délicates pyramides. Les
façades latérales sont ornées de trois étages de statues et de sculptures allégoriques, couvrant toute la surface
avec une véritable profusion; aussi ces dentelles de pierre, trop délicates, ont subi les atteintes un peu rudes
du climat et elles ont dû être refaites en partie vers 1840.
Beffrois.—Dès les premiers temps de l’affranchissement des communes, le signal des réunions était
donné par les cloches, qui n’existaient alors que dans les tours des églises et qui ne pouvaient être sonnées
qu’avec l’autorisation du clergé. On conçoit que le nouvel état de choses occasionna des conflits sans cesse
renaissants, le clergé régulier n’étant pas disposé à favoriser ce mouvement—séparatiste—qui était une
atteinte portée à ses droits féodaux. Afin d’éviter ces luttes incessantes les bourgeois établirent des cloches
au-dessus des portes des villes; puis vers la fin du XIIᵉ siècle et dès le commencement du XIIIᵉ, ils élevèrent
des tours destinées à contenir les cloches de la ville.
C’est l’origine du beffroi, expression visible des franchises communales. Il faisait corps avec la maison
commune, mais il était aussi souvent un édifice isolé.
Le beffroi isolé était une grosse tour carrée, à plusieurs étages et couronnée par un comble en charpente,
recouvert d’ardoises ou de plomb; l’un des étages renfermait les cloches et au sommet se trouvaient les
clochettes du carillon.
A l’étage supérieur un logement, ouvert sur le pourtour d’une galerie, était ménagé pour le guetteur qui
avertissait les habitants de tous les dangers ou événements
Fig. 226.—Beffroi de Calais (France).
extérieurs et signalait les incendies. Les cloches du beffroi sonnaient le lever du soleil et le couvre-feu.
Le carillon indiquait les heures et leurs divisions, et il mêlait, aux jours de fête, les notes joyeuses de ses
clochettes à la voix profonde et solennelle de la grosse cloche.
L’usage de sonner la grosse cloche pour signaler les incendies est encore suivi dans un grand nombre de
villes du Nord, dont la plupart ont conservé leurs beffrois malgré les modifications qu’ils ont subies à
différentes époques.
La tour du beffroi contenait ordinairement une prison, une salle de réunion pour les échevins, des dépôts
d’archives, des magasins d’armes; elle fut longtemps l’unique maison commune.
En Belgique, les beffrois isolés—celui de Tournai, fondé en 1187, reconstruit en partie à la fin du XIVᵉ
siècle; celui de Gand, qui date de la fin du XIIᵉ siècle pour la tour carrée surmontée d’une flèche moderne—
nous donnent des exemples de ces premiers édifices municipaux.
En France, il existe encore quelques édifices de ce genre particulier.
Le beffroi de Calais, dont la tour carrée, construite pendant les XIVᵉ et XVᵉ siècles, est couronnée par une
flèche octogone commencée à la fin du XVᵉ siècle et ne fut terminée que pendant les premières années du
XVIIᵉ siècle.
Le beffroi de Béthune, qui remonte au XIVᵉ siècle, se compose d’une tour carrée cantonnée
d’échauguettes hexagones encorbellées sur trois de ses angles; le quatrième est de même forme, mais il
monte de fond et renferme l’escalier à vis qui dessert les divers étages de la tour et aboutit à une plate-forme
crénelée; au-dessus s’élève une élégante pyramide couronnée par la tourelle
Fig. 227.—Beffroi de Béthune (France).
du guetteur, dont les détails, aussi bien que la forme, ont dû inspirer l’architecte de Louvain pour la forme
 Fig. 228.—Beffroi d’Evreux.

des tourelles qui couronnent les pignons de l’hôtel de ville. Dans l’étage supérieur se trouvent les grosses
Welcome to our website – the ideal destination for book lovers and
knowledge seekers. With a mission to inspire endlessly, we offer a
vast collection of books, ranging from classic literary works to
specialized publications, self-development books, and children's
literature. Each book is a new journey of discovery, expanding
knowledge and enriching the soul of the reade

Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.

Let us accompany you on the journey of exploring knowledge and

personal growth!

ebookfinal.com