In section 3, an algorithm performing so called generalized good translation of formal languages is given in the form of an ALGOL 60 procedure. Its description is given in section 2. It is possible to translate from a formal (context-free) language into other one with help of this algorithm if certain conditions hold for both grammars. At the same time, some parts of output text may correspond ...

Br-doping Li4Ti5O12 microspheres (LTOS) with micro-nano hierarchical structure are synthesized using cetyltrimethylammonium hydroxide-assisted hydrothermal and further calcination. The morphology of the obtained LTOS were characterized by X-ray diffraction, scanning electron microscopy photoelectron spectroscopy. It is found that spherical spinel-type microstructure do not change after appropri...

Chaperonins are essential for the folding of proteins in bacteria, mitochondria, and chloroplasts. We have functionally characterized the yeast mitochondrial chaperonins hsp60 and hsp10. In the presence of ADP, one molecule of hsp10 binds to hsp60 with an apparent Kd of 0.9 nM and a second molecule of hsp10 binds with a Kd of 24 nM. In the presence of ATP, the purified yeast chaperonins mediate...